西安电子科技大学S1.4.1主析取范式软件学院教家家【例题】写出含有三个命题变元P,Q,R的所有的极小项。000mo=-PA-QA-R001-PA-QARmi=PAQA-R010m2"PAQAR011m3100PA-QA-Rm4=101PA-QARms110PAQA-Rm6111mz=PAQAR西安电子科技大学 软件学院 【例题】写出含有三个命题变元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.1 主析取范式