BUILT-IN MATHEMATICA SYMBOL
BooleanMinterms
BooleanMinterms[{k1, k2, ...}, n]
represents the disjunction of the minterms 
.
BooleanMinterms[{{u1, ..., un}, {v1, ...}, ...}]
represents the disjunction of minterms given by the exponent vectors 
, 
, ....
BooleanMinterms[spec, {a1, a2, ...}]
gives the Boolean expression in variables 
corresponding to the minterms function specified by spec.
BooleanMinterms[spec, {a, a2, ...}, form]
gives the Boolean expression in the form specified by form.
- BooleanMinterms[{{u1, u2, ...}}, {a1, a2, ...}] gives
where 
if 
is True and 
if 
is False.
- The
etc. can be either True and False or 
and 
.
- BooleanMinterms[k, n] is equivalent to BooleanMinterms[{IntegerDigits[k, n, 2]}].
- BooleanMinterms[spec] gives a Boolean function object that works like Function.
- BooleanMinterms[spec][a1, a2, ...] gives an implicit representation equivalent to the explicit Boolean expression BooleanMinterms[spec, {a1, a2, ...}].
- BooleanConvert converts BooleanMinterms[spec][vars] to an explicit Boolean expression.
- In BooleanMinterms[spec, {a1, a2, ...}, form], the possible forms are as given for BooleanConvert.
- BooleanMinterms[spec, {a1, a2, ...}] by default gives an expression in DNF.
New in 7
minterm in n variables.
