BooleanMinterms

represents the k minterm in n variables.

BooleanMinterms[{k₁,k₂,…},n]

represents the disjunction of the minterms k_i.

BooleanMinterms[{{u₁,…,u_n},{v₁,…},…}]

represents the disjunction of minterms given by the exponent vectors u_i, v_i, ….

BooleanMinterms[spec,{a₁,a₂,…}]

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

BooleanMinterms[spec,{a,a₂,…},form]

gives the Boolean expression in the form specified by form.

Details

BooleanMinterms[{{u₁,u₂,…}},{a₁,a₂,…}] gives b₁∧b₂∧… where b_i==a_i if u_i is True and b_i=¬a_i if u_i is False.
The u_i etc. can be either True and False or 1 and 0.
BooleanMinterms[k,n] is equivalent to BooleanMinterms[{IntegerDigits[k,n,2]}].
BooleanMinterms[spec] gives a Boolean function object that works like Function.
BooleanMinterms[spec][a₁,a₂,…] gives an implicit representation equivalent to the explicit Boolean expression BooleanMinterms[spec,{a₁,a₂,…}].
BooleanConvert converts BooleanMinterms[spec][vars] to an explicit Boolean expression.
In BooleanMinterms[spec,{a₁,a₂,…},form], the possible forms are as given for BooleanConvert.
BooleanMinterms[spec,{a₁,a₂,…}] by default gives an expression in DNF.

open allclose all

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:

Specify different forms for the result:

The indices correspond to positions of True in the default ordering for BooleanTable:

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:

Introduced in 2008

(7.0)

Top