西安电子科技大学S1.4.2主合取范式软件学院教家家家极大项具有以下性质（1）每个极大项当其赋值指派与其编号相同时其真值为F，并在其余2n-1种赋值指派下其真值均为T；（2）任意两个不同的极大项的析取式永真；M,VM,≤Ti±j（3）所有极大项的合取式永假。PAM,=M。AM,AAAM"-F西安电子科技大学 §1.4.2 主合取范式 软件学院 极大项具有以下性质： （1）每个极大项当其赋值指派与其编号相同时其真 值为F，并在其余2 n-1种赋值指派下其真值均为T； （2）任意两个不同的极大项的析取式永真； ∨ ji ⇔ TMM i ≠ j （3）所有极大项的合取式永假。 MMM n FM n i i ⇔∧∧∧=∧ − − = 10 12 12 0 Λ