题目

与或非 逻辑题
v表示或 n表示与
A=(P n (-Q)) v ((-P) n Q)
B=-((P n Q) v ((-P) n (-Q)))
证明 A=B
最好用式子推导证明。
可以用
-(P v Q) = (-P) n (-Q)
P v (Q n R) = (P v Q) n (P v R)
……
等等的式子直接推导

提问时间：2021-01-12

答案

若A为真命题时:则有 P n (-Q) 为真,或者 -P n Q 为真当P n (-Q) 为真时 P n Q 和 -P n -Q 必定为假 所以(P n Q) v ((-P) n (-Q)) 为假,-((P n Q) v ((-P) n (-Q)))则 为真所以A=B 成立同理:-P n Q 为真同样也...