西安电子科技大学$1.4.13主析取范式软件学院家家极小项具有以下性质:(1)每个极小项当其赋值指派与其编号相同时其真值为T,并在其余2n-1种赋值指派下其真值均为F;(2)任意两个不同的极小项的合取式永假;itjm,^m,←F(3)所有极小项的析取式永真。n_V.m,=moVm,VAVm"--T西安电子科技大学 §1.4.1 主析取范式 软件学院 极小项具有以下性质: (1)每个极小项当其赋值指派与其编号相同时其真 值为T,并在其余2 n-1种赋值指派下其真值均为F; (2)任意两个不同的极小项的合取式永假; ∧ ji ⇔ Fmm i ≠ j (3)所有极小项的析取式永真。 n Tmmmm n i i ⇔∨∨∨=∨ − − = 10 12 12 0 Λ