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