证明等价公式(P∧┓Q)∨(┓P∧Q)(P ∨Q)∧┓(P ∧Q)

问题描述:

证明等价公式(P∧┓Q)∨(┓P∧Q)(P ∨Q)∧┓(P ∧Q)

(P∧┓Q)∨(┓P∧Q)=[(P∧┓Q)∨┓P]∧[(P∧┓Q)∨Q)]
=[(P∨┓P)∧(┓Q∨┓P)]∧[(P∨Q)∧(┓Q∨Q)]=
(P ∨Q)∧┓(P ∧Q)