BooleanMinterms

BooleanMinterms[k,n]
表示第 k  个 n 元极小项.

BooleanMinterms[{k1,k2,},n]
表示极小项 的析取.

BooleanMinterms[{{u1,,un},{v1,},}]
表示由指数向量 给出的极小项析取.

BooleanMinterms[spec,{a1,a2,}]
给出关于变量 的布尔表达式,相应 spec 指定的极小项函数.

BooleanMinterms[spec,{a,a2,},form]
给出由 form 指定形式的布尔表达式.

更多信息更多信息

范例范例打开所有单元关闭所有单元

基本范例  (4)基本范例  (4)

指定相同极小项的等价方式:

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=

指定极小项的析取:

In[1]:=
Click for copyable input
Out[1]=

指定极小项析取的等价方式:

In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=

返回一个 BooleanFunction 对象,表示极小项的析取:

In[1]:=
Click for copyable input
Out[1]=
In[2]:=
Click for copyable input
Out[2]=
In[3]:=
Click for copyable input
Out[3]=

列举三个变量的所有极小项:

In[1]:=
Click for copyable input
Out[1]=
2008年引入
(7.0)