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

# BooleanMinterms

 BooleanMintermsrepresents the k minterm in n variables. BooleanMintermsrepresents the disjunction of the minterms . BooleanMintermsrepresents the disjunction of minterms given by the exponent vectors , , .... BooleanMintermsgives the Boolean expression in variables corresponding to the minterms function specified by spec. BooleanMintermsgives 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 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:
 Out[1]=
 Out[2]=
 Out[3]=

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

Return a BooleanFunction object representing the disjunction of minterms:
 Out[1]=
 Out[2]=
 Out[3]=

Enumerate all minterms of three variables:
 Out[1]=
 Scope   (1)
Specify different forms for the result:
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