Product term

In Boolean logic, a product term is a conjunction of literals, where each literal is either a variable or its negation. Examples of product terms include:

$A \wedge B$

$A \wedge (\neg B) \wedge (\neg C)$

$\neg A$

The terminology comes from the similarity of AND to multiplication as in the ring structure of Boolean rings.