西安电子科技大学$1.4.2主合取范式软件学院【例题】写出含有三个命题变元P，Q,R的所有的极大项。000Mo=PVQVR001M,=PVOV-RPv-QvR010M2=P-QV-R011M3100M4-PVQVR101-PVQV-RMs110-Pv-QvRM。=111M--PV-O-R西安电子科技大学 软件学院 【例题】写出含有三个命题变元P,Q,R的所有的极大项。 000 M0 = ∨∨ RQP 001 M1 = ∨∨ ¬RQP ∨ ¬ ∨ RQP ∨ ¬ ∨ ¬RQP ¬ ∨∨ RQP ¬ ∨∨ ¬RQP ¬ ∨ ¬ ∨ RQP ¬ ∨ ¬ ¬∨ RQP 010 M2 = 011 M3 = 100 M4 = 101 M5 = 110 M6 = 111 M7 = §1.4.2 主合取范式