离散数学：求与公式((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）主析取范式为...