在布尔逻辑的积项和式中(和项积式亦可)，乘积项P 是布尔函数 F 的蕴涵项（英语：implicant），如果 P 蕴涵 F。更加准确的说：

这意味着在布尔空间的自然次序上 P⇒F。比如，函数

蕴涵自 ，，， 和很多其他的项: 它们是 的蕴涵项。

威拉德·冯·奥曼·蒯因定义：

使用上面的例子，你可以轻易的看到尽管 （和其他的项）是素蕴涵项， 和 不是。从后者，可以去除多个文本来使它成为素的：

将布尔项中文本去除的过程叫做'对这个项的扩展'。扩展一个文本将倍增使这个项为“真”的输入组合的数目(在二元布尔代数中)。 如上例中，将xyz扩展为xy或yz不影响f的结果。

In Boolean logic, an implicant is a "covering" (sum term or product term) of one or more minterms in a sum of products (or maxterms in a product of sums) of a Boolean function. Formally, a product term P in a sum of products is an implicant of the Boolean function F if P implies F. More precisely: