极小项

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

极小项以 成真赋值 二进制表达命名.