与或非 逻辑题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)……等等的式子直接推导
问题描述：
与或非 逻辑题
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)
……
等等的式子直接推导
答
zhege这个
答
就是同或等于异或的反，
答
若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 为真同样也...