|
SOLUTIONS
|
MATHEMATICA 内置符号
BooleanConvert
BooleanConvert[expr]
将布尔表达式 expr 转换为析取范式.
BooleanConvert[expr, form]
将布尔表达式 expr 转换为指定形式.
BooleanConvert[expr, form, cond]
当 cond 为真时,求出等价于 expr 的指定形式的表达式.
更多信息更多信息
- BooleanConvert[expr, form] 将产生等价于 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" 布尔判定树 - 表达式 expr 可以包含任何布尔或逻辑函数,以及 BooleanFunction,BooleanCountingFunction 等.
- BooleanConvert[bf, form] 转换一个纯 BooleanFunction 对象的内部形式.
- BooleanConvert 支持 Method 选项,它指定使用的具体方法.
版本 7 的新功能
Mathematica 9 is now available!
New to Mathematica?
Find your learning path »
Have a question?
Ask support »
