西安电子科技大学$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是重言式