布尔代数中，由标准逻辑运算符组成的布尔函数可以按利用了对偶性“极小项”和“极大项”的概念的规范形式来表达。
极小项.我们首先开始于定义极小项(minterm)为只由逻辑与和补运算符组成的 "n" 个变量的逻辑表达式。例如，下列是极小项的例子:"n" 个变量有 2 个极小项 - 这是因为在极小项表达式中一个变量要么是自身要么是它的补的形式 - "n" 个变量每个都有两种选择。
索引极小项.一般的，你可以指派给每个极小项(确保以同样的次序写变量，通常按