Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > Mathematics and Algorithms > Discrete Mathematics > Boolean Computation >
Mathematica > Mathematics and Algorithms > Logic & Boolean Algebra > Boolean Computation >
Built-in Mathematica SymbolSee Also »|More About »

BooleanMaxterms

BooleanMaxterms[k, n]
represents the k^(th) maxterm in n variables.
BooleanMaxterms[{k1, k2, ...}, n]
represents the conjunction of the maxterms ki.
BooleanMaxterms[{{u1, ..., un}, {v1, ...}, ...}]
represents the conjunction of maxterms given by the exponent vectors ui, vi, ....
BooleanMaxterms[spec, {a1, a2, ...}]
gives the Boolean expression in variables ai corresponding to the maxterms function specified by spec.
BooleanMaxterms[spec, {a, a2, ...}, form]
gives the Boolean expression in the form specified by form.
  • The ui etc. can be either True and False or 1 and 0.
  • BooleanMaxterms[spec][a1, a2, ...] gives an implicit representation equivalent to the explicit Boolean expression BooleanMaxterms[spec, {a1, a2, ...}].
  • BooleanMaxterms[spec, {a1, a2, ...}] by default gives an expression in CNF.
EXAMPLESCLOSE ALL
Basic Examples   (4)
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:
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
 
Specify a conjunction of maxterms:
In[1]:=
Click for copyable input
Out[1]=
An equivalent way to specify a conjunction of maxterms:
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
 
Return a BooleanFunction object representing the conjunction of maxterms:
In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
 
Enumerate all maxterms of three variables:
In[1]:=
Click for copyable input
Out[1]=
Scope   (1)
Specify different forms for the result:
Applications   (1)
Produce a CNF formula for Product(1, 3, 5):
Properties & Relations   (4)
The indexes 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
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team