下列公式（）是公式¬(p∧¬q)∨(p→r)的合取范式