Mathematica > 数学和算法 > 离散数学 > 布尔运算 > BooleanMinimize
Mathematica > 数学和算法 > 逻辑和布尔代数 > 布尔运算 > BooleanMinimize
Mathematica > 数学和算法 > 图与网络 > 图编程 > 布尔运算 > BooleanMinimize
MATHEMATICA 内置符号

BooleanMinimize

BooleanMinimize[expr]
求出 expr 的最小长度的析取范式.

BooleanMinimize[expr, form]
求出指定形式下 expr 的最小长度表示.

BooleanMinimize[expr, form, cond]
当 cond 为真时，求出指定形式下等价于 expr 的最小长度的表达式.

更多信息更多信息

  • BooleanMinimize[expr, form] 总是生成等价于 expr 的表达式.
  • 可用的形式有：
  • "DNF","SOP"析取范式，乘积和
    "CNF","POS"合取范式，和的乘积
    "ANF"代数规范形式
    "NOR"二级 Nor 和 Not
    "NAND"二级 Nand 和 Not
    "AND"二级 And 和 Not
    "OR"二级 Or 和 Not
  • 通常，一个特定的表达式在特定形式下可能有多种最小长度的表示形式. BooleanMinimize 给出其中一种.
  • BooleanMinimize 支持 Method 选项，它指定使用的具体方法.

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

基本范例 (2)基本范例 (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]=

范围 (2)范围 (2)

应用 (1)应用 (1)

属性和关系 (4)属性和关系 (4)

Top
版本 7 的新功能
Send Feedback
Mathematica 9 is now available!

400+ new features, including the new Wolfram Predictive Interface, social network analysis, enterprise CDF deployment, and more »

Try Now
Buy/Upgrade
New to Mathematica? Find your learning path »
Have a question? Ask support »