Mathematica 9 is now available
SEARCH MATHEMATICA 8 DOCUMENTATION
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Mathematica > 数学和算法 > 离散数学 > 布尔运算 >
Mathematica > 数学和算法 > 逻辑和布尔代数 > 布尔运算 >
Mathematica 内置符号参见 »|更多关于 »

BooleanMinimize

BooleanMinimize[expr]
求出 expr 的最小长度的析取范式。
BooleanMinimize[expr, form]
求出指定形式下 expr 的最小长度。
BooleanMinimize[expr, form, cond]
当 cond 为真，求出等价于 expr 德最小长度的表达式。
  • 可用的形式有：
"DNF","SOP"析取范式，乘积和
"CNF","POS"和取范式，和的乘积
"ANF"代数规范形式
"NOR"二级 Nor 和 Not
"NAND"二级 Nand 和 Not
"AND"二级 And 和 Not
"OR"二级 Or 和 Not
  • 通常，一个特定的表达式在特定形式下可能有几种最小长度的表示形式。 BooleanMinimize 仅给出其中一种。
范例关闭所有单元
例   (2)
求出最小析取范式：
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 的新功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team