极大项

在有  个命题变项的简单析取式中, 若每个命题变项和否定式都只出现一次, 按二进制由小到大排列, 称为极小项.

极大项以 成假赋值 二进制表达命名.