Ordinal arithmetic

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 (\mathrm{\neg }B)\wedge (\mathrm{\neg }C)$

$\mathrm{\neg }A$

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