Mathematica 9 is now available
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.
Wolfram Mathematica Documentation Center
DOCUMENTATION CENTER SEARCH
New to Mathematica? Find your learning path »
Mathematica > 数学和算法 > 离散数学 > 布尔运算 > BooleanConvert >
Mathematica > 数学和算法 > 逻辑和布尔代数 > 布尔运算 > BooleanConvert >
Mathematica > 数学和算法 > 图与网络 > 图编程 > 布尔运算 > BooleanConvert >
MATHEMATICA 内置符号参见 »|更多关于 »

BooleanConvert

BooleanConvert[expr]
将布尔表达式 expr 转换为析取范式.
BooleanConvert
将布尔表达式 expr 转换为指定形式.
BooleanConvert
当 cond 为真时，求出等价于 expr 的指定形式的表达式.
更多信息
  • 可用的形式有：
"DNF","SOP"析取范式形式，乘积和
"CNF","POS"合取范式，和的乘积
"ESOP"互斥的乘积和
"ANF"代数规范形式
"NOR"二级 Nor 和 Not
"NAND"二级 Nand 和 Not
"AND"二级 And 和 Not
"OR"二级 Or 和 Not
"IMPLIES"Implies 和 Not
"ITE","IF"If 和 常量
"BFF"BooleanFunction 形式
"BDT"布尔判定树
范例关闭所有单元
例   (3)
将一个布尔表达式转换为析取范式：
将 转换为普通形式：
用 为真的条件转换 ：
当 时，输出等于输入：
将一个布尔表达式转换为析取范式：
In[1]:=
Click for copyable input
Out[1]=
 
将 转换为普通形式：
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)
将一个布尔表达式转换为不同的形式：
析取范式：
合取范式：
互斥的乘积和：
代数规范形式：
二级 Nand 和 Not：
二级 Nor 和 Not：
二级 And 和 Not：
二级 Or 和 Not：
Implies 和 Not：
If 和常量：
布尔函数形式：
布尔判定树：
显示它们都是等价的：
用条件转换一个布尔函数：
当 cond 为真时，结果的形式相等：
当没有条件时，两者不等价：
通常没有条件下，形式会很长：
属性和关系   (3)
BooleanConvert 的输出形式等于它的输入：
有条件的 BooleanConvert 的输出在条件下等于它的输入：
当 cond 为真时，形式 f 和 g 是相等的：
它们和自身并不相等：
用 BooleanMinimize 获得最小长度形式：
形式是相等的：
版本 7 的新功能
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team
格式:   HTML  |  CDF