离散数学:求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式

离散数学:求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式
如果答对一定追分
逍遥格格 1年前 已收到1个回答 举报

twa6mi 春芽

共回答了23个问题采纳率:95.7% 举报

列真值表法或者逻辑推出法都可以知道
主合取范式为:(┒X1∨X2∨X3∨X4)∧(┒X1∨X2∨┒X3∨X4)∧
(X1∨X2∨┒X3∨X4)∧(X1∨┒X2∨┒X3∨X4)∧(┒X1∨X2∨┒X3∨X4)∧(┒X1∨┒X2∨┒X3∨X4)
主析取范式为:(┒X1∧X2∧┒X3∧X4)∨(┒X1∧X2∧┒X3∧┒X4)∨(┒X1∧┒X2∧┒X3∧X4)∨(┒X1∧┒X2∧┒X3∧┒X4)∨
(X1∧X2∧┒X3∧X4)∨(X1∧X2∧┒X3∧┒X4)∨(┒X1∧X2∧┒X3∧X4)∨(┒X1∧X2∧┒X3∧┒X4)∨(X1∧X2∧X3∧X4)∨
(X1∧X2∧┒X3∧X4)∨(X1∧┒X2∧X3∧X4)∨(X1∧┒X2∧┒X3∧X4)∨(┒X1∧X2∧X3∧X4)∨(┒X1∧X2∧┒X3∧X4)
∨(┒X1∧┒X2∧X3∧X4)∨(┒X1∧┒X2∧┒X3∧X4)
如果不明白怎么算的,加我,或者到我空间给我留言
314782272

1年前

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