Question

求与((X1 -> X2) -> X3) -> X4逻辑等价的主合取范式和主析取范式```?

Answer 1

别胡来啊,

主合取范式

（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）