Minterm
A minterm is a product term used in boolean algebra that corresponds to a single assignment of input variables. It is constructed so that the minterm evaluates to 1 for that specific input combination and to 0 for all other combinations.
Formally, for n variables x1, …, xn, there are 2^n minterms m0, m1, …, m(2^n−1). The i-th minterm
Any boolean function f of n variables can be expressed as a sum of minterms corresponding to
Example: with two variables x and y, the minterms are m0 = x' y', m1 = x y', m2