别胡来啊,
主合取范式
（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）