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