BooleanMinterms

BooleanMinterms[k,n]

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

BooleanMinterms[{k1,k2,…},n]

represents the disjunction of the minterms ki.

BooleanMinterms[{{u1,…,un},{v1,…},…}]

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

BooleanMinterms[spec,{a1,a2,…}]

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

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

gives the Boolean expression in the form specified by form.

Details

Examples

open all close all

Basic Examples  (4)

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)

Properties & Relations  (4)

Introduced in 2008
(7.0)