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

BooleanConvert

BooleanConvert[expr]
将布尔表达式 expr 转换为析取范式。
BooleanConvert[expr, form]
将布尔表达式 expr 转换为指定形式。
BooleanConvert[expr, form, cond]
cond 为真时,求出等价于 expr 的指定形式的表达式。
  • 适用的形式有:
"DNF","SOP"析取范式形式,乘积和
"CNF","POS"合取范式,和的乘积
"ESOP"互斥的乘积和
"ANF"代数规范形式
"NOR"二级 NorNot
"NAND"二级 NandNot
"AND"二级 AndNot
"OR"二级 OrNot
"IMPLIES"ImpliesNot
"ITE","IF"If 和 常量
"BFF"BooleanFunction 形式
"BDT"Boolean 判定树
将一个布尔表达式转换为析取范式:
In[1]:=
Click for copyable input
Out[1]=
 
xXory 转换为普通形式:
In[1]:=
Click for copyable input
Out[1]=
 
xAnd(yOrz) 为真的条件转换 xXoryXorz
In[1]:=
Click for copyable input
Out[1]=
xAnd(yOrz),显示输出等于输入:
In[2]:=
Click for copyable input
Out[2]=
7 的新功能