离散数学证明题(共5页)

证明题1.用等值演算法证明下列等值式：（1）┐(PQ)(P∨Q)∧┐(P∧Q)（2）(P∧┐Q)∨(┐P∧Q)(P∨Q)∧┐(P∧Q)证明：（1）┐(PQ)┐((P→Q)∧(Q→P))┐((┐P∨Q)