证明等价公式(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)