此为 Mathematica 7 文档,内容基于更早版本的 Wolfram 语言
查看最新文档(版本11.1)

BooleanMinimize

BooleanMinimize[expr]
求出 expr 的最小长度的析取范式。
BooleanMinimize[expr, form]
求出指定形式下 expr 的最小长度。
BooleanMinimize[expr, form, cond]
cond 为真,求出等价于 expr 德最小长度的表达式。
  • 可用的形式有:
"DNF","SOP"析取范式,乘积和
"CNF","POS"和取范式,和的乘积
"ANF"代数规范形式
"NOR"二级 NorNot
"NAND"二级 NandNot
"AND"二级 AndNot
"OR"二级 OrNot
  • 通常,一个特定的表达式在特定形式下可能有几种最小长度的表示形式。 BooleanMinimize 仅给出其中一种。
求出最小析取范式:
In[1]:=
Click for copyable input
Out[1]=
 
析取范式下一个布尔计数函数:
In[1]:=
Click for copyable input
Out[1]=
求出一个最小析取范式:
In[2]:=
Click for copyable input
Out[2]=
7 的新功能