
Product term
Encyclopedia
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:



The terminology comes from the similarity of AND
to multiplication as in the ring structure of Boolean ring
s.
Boolean logic
Boolean algebra is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of multiplication xy, addition x + y, and negation −x replaced by the respective logical operations of...
, a product term is a conjunction of literals, where each literal is
either a variable or its negation. Examples of product terms include:



The terminology comes from the similarity of AND
to multiplication as in the ring structure of Boolean ring
Boolean ring
In mathematics, a Boolean ring R is a ring for which x2 = x for all x in R; that is, R consists only of idempotent elements....
s.