蕴涵项 在布尔逻辑的積項和式中和項積式亦可乘积项P 是布尔函数 F 的涵项英語implicant如果 P 蕴涵 F更加准确的说 F 是 n 个变量的布尔函数 P 是乘积项 若对于使 P 得到值  的所有组合F 也等于 則 P 蕴涵 F P 是 F 的涵項 这意味着在布尔空间的自然次序上 PF比如函数 f  x  y  z  w   x y  y z  w displaystyle fxyzwxyyzw 蕴涵自 x y displaystyle xy  x y z displaystyle xyz  x y z w displaystyle xyzw  w displaystyle w 和很多其他的项 它们是 f displaystyle f 的涵项 威拉德冯奥曼蒯因定义 F 的質涵项prime implicant为最少化文字數量的涵项就是说如果从 P 去除任何文字literal都导致 P 成為 F 的非涵项例如和是某逻辑函数的两个涵项那么x就是函数的一个質涵项其中的和两个数字不可再去掉 基本質涵项essential prime implicant为蘊涵於不满足任何其他質涵项的極小項minterm的那些質涵项若存在只被一個質涵項覆蓋的極小項則覆蓋該極小項的質涵項為基本質涵項如果以卡诺图的形式来描述逻辑函数可以发现只有一种方式可以圈选这个输入组合 使用上面的例子你可以轻易的看到尽管 x y displaystyle xy 和其他的项是質涵项 x y z displaystyle xyz 和 x y z w displaystyle xyzw 不是从后者可以去除多个文字来使它成为素的 x displaystyle x  y displaystyle y 和 z displaystyle z 可以去除生成 w displaystyle w  可作为选择的 z displaystyle z 和 w displaystyle w 可以去除生成 x y displaystyle xy  最后 x displaystyle x 和 w displaystyle w 可以被去除生成 y z displaystyle yz  将布尔项中文字去除的过程叫做对这个项的扩展扩展一个文字將倍增使这个项为真的输入组合的数目在二元布尔代数中 如上例中将xyz扩展为xy或yz不影响f的结果 布尔函数的所有素蕴涵项的总和叫做这个函数的完全和