神马作文网求与((X1 -> X2) -> X3) -> X4逻辑等价的主合取范式和主析取范式```?
来源：学生作业帮 编辑：神马作文网作业帮 分类：数学作业 时间：2024/11/12 09:56:45
求与((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）
主合取范式
（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）的主析取范式和主合取范式