作业帮 > 数学 > 作业

与或非 逻辑题v表示或 n表示与A=(P n (-Q)) v ((-P) n Q)B=-((P n Q) v ((-P)

来源:学生作业帮 编辑:作业帮 分类:数学作业 时间:2024/07/09 02:13:39
与或非 逻辑题
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)
……
等等的式子直接推导
若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 为真
同样也会有 A=B
当A为假命题时
则有P n (-Q) 和 -P n Q 为假
因为 P n -Q 为假
则必定会有
P n Q 和 -P n -Q 2者之间至少有一个真命题
所以(P n Q) v ((-P) n (-Q)) 为真
-((P n Q) v ((-P) n (-Q)))则为假
所以A =B