西安电子科技大学$1.4.2主合取范式软件学院【例题】求命题公式A=-P^（Q→R)的主合取范式。方法二、等价推演法A-PA(-Q VR)(-PV(QA-Q)V (RA-R))A((PΛ-P)V-QVR)仁(-PVOVR)A(-PVOV-R)A(-PV-OVR)A(-PV-QV-R)A(PV-QVR)A(-PV-QV R)(-PVQVR)A(-PVQY-R)A(-PY-QYR)A(-PV-QY-R)A(PV-QYRMAM,AMAM,AM,-I2,4, 5,6,7)西安电子科技大学 软件学院 【例题】求命题公式A=¬P∧(Q→R)的主合取范式。 方法二、等价推演法 A ⇔ ¬P∧(¬ Q ∨R) ⇔ (¬P∨(Q∧¬Q)∨(R∧¬R) )∧((P∧¬P)∨¬Q∨R) ⇔ (¬P∨Q∨R)∧(¬P∨Q∨¬R)∧(¬P∨¬Q∨R) ∧(¬P∨¬Q∨¬R )∧(P∨¬Q∨R)∧(¬P∨¬Q∨ R) §1.4.2 主合取范式