离散数学的一个证明题,

问题描述:

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

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