represents the k^(th) minterm in n variables.


represents the disjunction of the minterms ki.


represents the disjunction of minterms given by the exponent vectors ui, vi, .


gives the Boolean expression in variables ai corresponding to the minterms function specified by spec.


gives the Boolean expression in the form specified by form.



open allclose 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:

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:

BooleanMaxterms is related to BooleanMinterms:

Introduced in 2008