列真值表法或者逻辑推出法都可以知道主合取范式为：（┒X1∨X2∨X3∨X4）∧（┒X1∨X2∨┒X3∨X4）∧（X1∨X2∨┒X3∨X4）∧（X1∨┒X2∨┒X3∨X4）∧（┒X1∨X2∨┒X3∨X4）∧（┒X1∨┒X2∨┒X3∨X4）主析取范式为...