Minterm
= Minterm
A conjunction containing each of a specified finite collection of <Boolean variables> exactly once, either positively or negated. It is satisfied by exactly one <Boolean valuation> of those variables. The <minterms> for all valuations are mutually exclusive and collectively exhaustive, so they can encode an arbitrary finite table of values.