来自邵诗逸的问题
【离散数学:求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式如果答对一定追分】
离散数学:求与公式((X1→X2)→X3)→X4逻辑等价的主合取范式和主析取范式
如果答对一定追分
1回答
2020-02-20 22:12
【离散数学:求与公式((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)主析取范式为...