求与((X1 -> X2) -> X3) -> X4逻辑等价的主合取范式和主析取范式```?
来源:学生作业帮 编辑:灵鹊做题网作业帮 分类:数学作业 时间:2024/06/16 23:03:52
求与((X1 -> X2) -> X3) -> X4逻辑等价的主合取范式和主析取范式```?
![求与((X1 -> X2) -> X3) -> X4逻辑等价的主合取范式和主析取范式```?](/uploads/image/z/17101762-34-2.jpg?t=%E6%B1%82%E4%B8%8E%28%28X1+-%3E+X2%29+-%3E+X3%29+-%3E+X4%E9%80%BB%E8%BE%91%E7%AD%89%E4%BB%B7%E7%9A%84%E4%B8%BB%E5%90%88%E5%8F%96%E8%8C%83%E5%BC%8F%E5%92%8C%E4%B8%BB%E6%9E%90%E5%8F%96%E8%8C%83%E5%BC%8F%60%60%60%3F)
别胡来啊,
主合取范式
(X1VX2V~X3VX4)∧(X1V~X2V~X3VX4)∧(~X1VX2VX3VX4)∧(~X1VX2V~X3VX4)∧(~X1V~X2V~X3VX4)
主析取范式
(X1∧X2∧X3∧X4)V(X1∧X2∧~X3∧X4)V(X1∧X2∧~X3∧~X4)V(X1∧~X2∧X3∧X4)V(X1∧~X2∧~X3∧X4)V(~X1∧X2∧X3∧X4)V(~X1∧X2∧~X3∧X4)V(~X1∧X2∧~X3∧~X4)V(~X1∧~X2∧X3∧X4)V(~X1∧~X2∧~X3∧X4)V(~X1∧~X2∧~X3∧~X4)
主合取范式
(X1VX2V~X3VX4)∧(X1V~X2V~X3VX4)∧(~X1VX2VX3VX4)∧(~X1VX2V~X3VX4)∧(~X1V~X2V~X3VX4)
主析取范式
(X1∧X2∧X3∧X4)V(X1∧X2∧~X3∧X4)V(X1∧X2∧~X3∧~X4)V(X1∧~X2∧X3∧X4)V(X1∧~X2∧~X3∧X4)V(~X1∧X2∧X3∧X4)V(~X1∧X2∧~X3∧X4)V(~X1∧X2∧~X3∧~X4)V(~X1∧~X2∧X3∧X4)V(~X1∧~X2∧~X3∧X4)V(~X1∧~X2∧~X3∧~X4)
主析取范式和主合取范式的求法!
求P→Q∨R的析取范式、主析取范式、主合取范式
求下列公式的主析取范式和主合取范式P∧Q
求命题公式(P∧Q)∨R的主析取范式和主合取范式
离散数学求公式(┐P∨Q)∧(P→R)的主析取范式和主合取范式 急
求公式(Q→P)∧(┓P∧Q)的主析取范式和主合取范式
离散数学,主析取范式与主合取范式.谢谢了.
求离散数学(P→ Q)→ R主合取范式和主析取范式
求命题公式(P∨Q)→(R∨Q)的主析取范式、主合取范式 麻烦
求公式(P→Q)∧ (P→R)的主析取范式,主合取范式.急用,
P→(P∧(Q→P))的主析取范式和主合取范式
(非P->q)->(非qVp)的主析取范式和主合取范式