离散数学的一个证明题,证明:┐(P←→Q)(P∧┐Q)∨(┐P∧Q) ,其中P、Q为命题公式.

问题描述:

离散数学的一个证明题,
证明:┐(P←→Q)(P∧┐Q)∨(┐P∧Q) ,其中P、Q为命题公式.

等值演算,把P←→Q转换为(P→Q)∧(Q→P),然后用蕴涵等值式,再用德摩根律

这个命题等价于证明(P←→Q)(P∨┐Q)∧(┐P∨Q);
P←→Q(P→Q)∧(Q→P); (1)
而P→Q┐P∨Q; (2)