作业帮 > 数学 > 作业

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

来源:学生作业帮 编辑:搜搜做题作业网作业帮 分类:数学作业 时间:2024/08/07 00:31:35
离散数学:求与公式((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)
∨(┒X1∧┒X2∧X3∧X4)∨(┒X1∧┒X2∧┒X3∧X4)
如果不明白怎么算的,加我,或者到我空间给我留言
314782272