BooleanMaxterms

BooleanMaxterms[k,n]
表示第 k 个 n 元极大项.

BooleanMaxterms[{k1,k2,},n]
表示极大项 的合取.

BooleanMaxterms[{{u1,,un},{v1,},}]
表示指数向量 给出的极大项合取.

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

BooleanMaxterms[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)