与或非 逻辑题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)……等等的式子直接推导
来源:学生作业帮助网 编辑:作业帮 时间:2024/07/18 01:57:34
![与或非 逻辑题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)……等等的式子直接推导](/uploads/image/z/3901205-29-5.jpg?t=%E4%B8%8E%E6%88%96%E9%9D%9E+%E9%80%BB%E8%BE%91%E9%A2%98v%E8%A1%A8%E7%A4%BA%E6%88%96+n%E8%A1%A8%E7%A4%BA%E4%B8%8EA%3D%28P+n+%28-Q%29%29+v+%28%28-P%29+n+Q%29B%3D-%28%28P+n+Q%29+v+%28%28-P%29+n+%28-Q%29%29%29%E8%AF%81%E6%98%8E+A%3DB%E6%9C%80%E5%A5%BD%E7%94%A8%E5%BC%8F%E5%AD%90%E6%8E%A8%E5%AF%BC%E8%AF%81%E6%98%8E%E3%80%82%E5%8F%AF%E4%BB%A5%E7%94%A8-%28P+v+Q%29+%3D+%28-P%29+n+%28-Q%29P+v+%28Q+n+R%29+%3D+%28P+v+Q%29+n+%28P+v+R%29%E2%80%A6%E2%80%A6%E7%AD%89%E7%AD%89%E7%9A%84%E5%BC%8F%E5%AD%90%E7%9B%B4%E6%8E%A5%E6%8E%A8%E5%AF%BC)
与或非 逻辑题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)
……
等等的式子直接推导
与或非 逻辑题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
就是同或等于异或的反,
zhege这个