This is documentation for Mathematica 8, which was
based on an earlier version of the Wolfram Language.

# BooleanMaxterms

 BooleanMaxtermsrepresents the k maxterm in n variables. BooleanMaxtermsrepresents the conjunction of the maxterms . BooleanMaxtermsrepresents the conjunction of maxterms given by the exponent vectors , , .... BooleanMaxtermsgives the Boolean expression in variables corresponding to the maxterms function specified by spec. BooleanMaxtermsgives the Boolean expression in the form specified by form.
• The etc. can be either True and False or and .
Equivalent ways of specifying the same maxterm:
Specify a conjunction of maxterms:
An equivalent way to specify a conjunction of maxterms:
Return a BooleanFunction object representing the conjunction of maxterms:
Enumerate all maxterms of three variables:
Equivalent ways of specifying the same maxterm:
 Out[1]=
 Out[2]=
 Out[3]=

Specify a conjunction of maxterms:
 Out[1]=
An equivalent way to specify a conjunction of maxterms:
 Out[2]=
 Out[3]=

Return a BooleanFunction object representing the conjunction of maxterms:
 Out[1]=
 Out[2]=
 Out[3]=

Enumerate all maxterms of three variables:
 Out[1]=
 Scope   (1)
Specify different forms for the result:
 Applications   (1)
Produce a CNF formula for :
The indices correspond to positions of False, in the default ordering for BooleanTable:
BooleanMaxterms can represent any BooleanFunction:
The mapping from maxterms to index:
The mapping from index to maxterms:
Using bit vectors:
Use Subsets to enumerate all possible Boolean functions using BooleanMaxterms:
New in 7