命题公式是永真公式，当且仅当等价于它的主析取范式中（)

A为重言式当且仅当A的主析取范式不含任何极小项。

命题公式 （ØP®Q) ® （ØQ∨P)的主析取范式中的极小项的个数是（）

重言式的主析取范式包含全部极大项。

标准的三段论包括：一个包含大项和中项的命题（大前提）、一个包含小项和中项的命题（小前提）以及一个包含小项和大项的命题（结论）三部分。如果大前提是：金属都是导电体；小前提是：黄金是金属，那么结论应该是

由有限个简单的合取式构成的析取式称为析取范式，且由极小项构成的析取范式称为主析取范式。