西安电子科技大学$1.4.2主合取范式软件学院家若干个极大项的合取式，如果它与命题公式主合取范式A等价，那么称该式为A的主合取范式。it e(0,1,A,2" -1)AM,AMi, AAAMi(0≤k≤2")当k=0时A←TA是重言式当k=2n时 A←FA是矛盾式西安电子科技大学 §1.4.2 主合取范式 软件学院 主合取范式 若干个极大项的合取式，如果它与命题公式 A等价，那么称该式为A的主合取范式。 k ∧ MM ii ∧Λ ∧ M i A ⇔ 1 2 ( ) n k ≤≤ 20 当k=0时 ⇔ TA A是重言式 ∈ − }12,1,0{ n ki Λ 当k=2n时 ⇔ FA A是矛盾式