┐（P----Q）(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式
不明白本题问的是什么?
是将(P∧┐Q)∨(┐P∧Q)转换成┐(P----Q)形式吗?
根据逻辑函数的反演律
(P∧┐Q)∨(┐P∧Q)＝┐(┐(P∧┐Q) ∧┐(┐P∧Q))
＝┐((┐P∨Q) ∧(P∨┐Q))