离散数学用基本等价式证明┐(P←→Q)=(P∨Q) ∧( ┐P∨┐Q)

离散数学用基本等价式证明┐(P←→Q)=(P∨Q) ∧( ┐P∨┐Q)
是【用基本等价式证明】
myzzl2004 1年前 已收到2个回答 举报

hjp555 幼苗

共回答了16个问题采纳率:81.3% 举报

┐(P←→Q)
=┐((P→Q)∧(Q→P))
=┐((┐P∨Q)∧(┐Q∨P))
=┐(┐P∨Q)∨┐(┐Q∨P)
=(P∧┐Q)∨(Q∧┐P)
=(P∨Q)∧(P∨┐P)∧(┐Q∨Q)∧(┐Q∨┐P)
=(P∨Q)∧1∧1∧(┐Q∨┐P)
=(P∨Q)∧(┐P∨┐Q)

1年前

5

zz187 幼苗

共回答了4个问题 举报

考虑到只有2个变元,所以用真值表
P Q (P∨Q) ( ┐P∨┐Q) ┐(P←→Q) (P∨Q) ∧( ┐P∨┐Q)
0 0 0 1 0 0

1年前

2
可能相似的问题
Copyright © 2024 YULUCN.COM - 雨露学习互助 - 18 q. 0.031 s. - webmaster@yulucn.com