离散数学的一个证明题，找人帮忙

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