西安电子科技大学主析取范式$1.4.1软件学院【例题】求命题公式A=-P^(Q→R)的主析取范式。方法二、等价推演法A介-PA(Q VR)(-P^-Q)V(-P^R)↑(-P-Q A(RV-R))V(-PA(OV-Q)^ R)介(-PA-OAR)V-PA-OA-R)V(-PAQ AR) V (-PA-QA R)-PA(Q—R)(-PA-QA-R) V-PA-QAR) Y(-PAQAR) Z(0, 1, 3)西安电子科技大学 软件学院 【例题】求命题公式A=¬P∧(Q→R)的主析取范式。 方法二、等价推演法 A ⇔ ¬P∧(¬ Q ∨R) ⇔ (¬P∧¬ Q )∨(¬P∧R) ⇔ (¬P∧¬ Q ∧(R∨¬R) )∨(¬P∧(Q∨¬ Q)∧ R) ⇔ (¬P∧¬ Q ∧R)∨ (¬P∧¬ Q∧¬R ) ∨ (¬P∧Q ∧R) ∨ (¬P∧¬ Q∧ R) §1.4.1 主析取范式