化简(┐P∧Q)∨(┐P∧┐Q)