西安电子科技大学$1.4.1 主析取范式软件学院若干个极小项的析取式，如果它与命题公式主析取范式A等价，那么称该式为A的主析取范式。i e(0,1,A,2" -1)A←m,m,AVmi(0≤k≤2")当k=0时AFA是矛盾式AGTA是重言式当k=2n时
西安电子科技大学 §1.4.1 主析取范式 软件学院 主析取范式 若干个极小项的析取式，如果它与命题公式 A等价，那么称该式为A的主析取范式。 k ∨ Λ mm ii ∨∨ mi A ⇔ 1 2 ( ) n k ≤≤ 20 当k=0时 ⇔ FA A是矛盾式 ∈ − }12,1,0{ n ki Λ 当k=2n时 ⇔ TA A是重言式
西安电子科技大学$1.4.1 主析取范式软件学院【例题】求命题公式A=-P（Q→R)的主析取范式。方法一、真值表法Q→R-PA(Q-→R)H-1001110010001PA(Q-R)≤(-PA-QA-R)M-PA-QAR)Y(-PAQAR) 2(0, 1, 3)
西安电子科技大学 软件学院 【例题】求命题公式A=¬P ∧ (Q → R)的主析取范式。 方法一、真值表法 §1.4.1 主析取范式