┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式

问题描述:

┐(P----Q)(P∧┐Q)∨(┐P∧Q),其中PQ为命题公式

┐(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))