A Boolean function expressed as a sum of product terms, i.e. as an OR of AND terms containing uncomplemented or complemented variables. An example is
The function is also realizable as the NAND of a group of NAND terms.
See also standard sum of products,
product of sums expression.