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