Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > Mathematics and Algorithms > Discrete Mathematics > Boolean Computation > BooleanMaxterms >
Mathematica > Mathematics and Algorithms > Logic & Boolean Algebra > Boolean Computation > BooleanMaxterms >
Mathematica > Mathematics and Algorithms > Graphs & Networks > Graph Programming > Boolean Computation > BooleanMaxterms >
BUILT-IN MATHEMATICA SYMBOLSee Also »|More About »

BooleanMaxterms

BooleanMaxterms
represents the k^(th) maxterm in n variables.
BooleanMaxterms
represents the conjunction of the maxterms .
BooleanMaxterms
represents the conjunction of maxterms given by the exponent vectors , , ....
BooleanMaxterms
gives the Boolean expression in variables corresponding to the maxterms function specified by spec.
BooleanMaxterms
gives the Boolean expression in the form specified by form.
MORE INFORMATION
  • The etc. can be either True and False or and .
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 :
Properties & Relations   (4)
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
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
Format:   HTML  |  CDF