一的函数输入给出真值。例如，极小项 5，"a" "b"<nowiki>'</nowiki> "c"，只在 "a" 和 "c" 都为真而 "b" 为假的时候是真的 - 输入为 a = 1, b = 0, c = 1 得到 1。如果你给出一个逻辑函数的真值表，就可以把这个函数写为"积之和"(由极小项OR起来的序列)。这是析取范式的特殊形式。例如，如果给出真值表观察到输出为 1 的行是第一行和第三行，所以我们可以把 "f" 写为极小项 "m" 和 "m" 的和。如果我们要验证它:通过直接计算，结果和