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 > BooleanMinterms >
Mathematica > Mathematics and Algorithms > Logic & Boolean Algebra > Boolean Computation > BooleanMinterms >
Mathematica > Mathematics and Algorithms > Graphs & Networks > Graph Programming > Boolean Computation > BooleanMinterms >
BUILT-IN MATHEMATICA SYMBOLSee Also »|More About »

BooleanMinterms

BooleanMinterms
represents the k^(th) minterm in n variables.
BooleanMinterms
represents the disjunction of the minterms .
BooleanMinterms
represents the disjunction of minterms given by the exponent vectors , , ....
BooleanMinterms
gives the Boolean expression in variables corresponding to the minterms function specified by spec.
BooleanMinterms
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 minterm:
Specify a disjunction of minterms:
An equivalent way to specify a disjunction of minterms:
Return a BooleanFunction object representing the disjunction of minterms:
Enumerate all minterms of three variables:
Equivalent ways of specifying the same minterm:
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 disjunction of minterms:
In[1]:=
Click for copyable input
Out[1]=
An equivalent way to specify a disjunction of minterms:
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=
 
Return a BooleanFunction object representing the disjunction of minterms:
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 minterms of three variables:
In[1]:=
Click for copyable input
Out[1]=
Scope   (1)
Specify different forms for the result:
Properties & Relations   (4)
The indices correspond to positions of True in the default ordering for BooleanTable:
BooleanMinterms can represent any BooleanFunction:
The mapping from minterms to index:
The mapping from index to minterms:
Using bit vectors:
Use Subsets to enumerate all possible Boolean functions using BooleanMinterms:
New in 7
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
Format:   HTML  |  CDF