BooleanConvert

BooleanConvert[expr]

将布尔表达式 expr 转换为析取范式.

BooleanConvert[expr,form]

将布尔表达式 expr 转换为指定形式.

BooleanConvert[expr,form,cond]

当 cond 为真时，求出等价于 expr 的指定形式的表达式.

更多信息和选项

范例

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

基本范例  (3)

将一个布尔表达式转换为析取范式：

将 x⊻y 转换为普通形式：

用 x∧(y∨z) 为真的条件转换 x⊻y⊻z：

当 x∧(y∨z) 时，输出等于输入：

范围  (2)

将一个布尔表达式转换为不同的形式：

析取范式：

合取范式：

互斥的乘积和：

代数规范形式：

二级 Nand 和 Not：

二级 Nor 和 Not：

双参数 Nand:

双参数 Nor:

二级 And 和 Not：

二级 Or 和 Not：

Implies 和 Not：

If 和常量：

布尔函数形式：

布尔判定树：

显示它们都是等价的：

用条件转换一个布尔函数：

当 cond 为真时，结果的形式相等：

当没有条件时，两者不等价：

通常没有条件下，形式会很长：

属性和关系  (3)

BooleanConvert 的输出形式等于它的输入：

有条件的 BooleanConvert 的输出在条件下等于它的输入：

当 cond 为真时，形式 f 和 g 是相等的：

它们和自身并不相等：

用 BooleanMinimize 获得最小长度形式：

形式是相等的：

巧妙范例  (1)

Wolfram Research (2008)，BooleanConvert，Wolfram 语言函数，https://reference.wolfram.com/language/ref/BooleanConvert.html （更新于 2024 年）.

文本

Wolfram Research (2008)，BooleanConvert，Wolfram 语言函数，https://reference.wolfram.com/language/ref/BooleanConvert.html （更新于 2024 年）.

CMS

Wolfram 语言. 2008. "BooleanConvert." Wolfram 语言与系统参考资料中心. Wolfram Research. 最新版本 2024. https://reference.wolfram.com/language/ref/BooleanConvert.html.

APA

Wolfram 语言. (2008). BooleanConvert. Wolfram 语言与系统参考资料中心. 追溯自 https://reference.wolfram.com/language/ref/BooleanConvert.html 年

BibTeX

@misc{reference.wolfram_2024_booleanconvert, author="Wolfram Research", title="{BooleanConvert}", year="2024", howpublished="\url{https://reference.wolfram.com/language/ref/BooleanConvert.html}", note=[Accessed: 24-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_booleanconvert, organization={Wolfram Research}, title={BooleanConvert}, year={2024}, url={https://reference.wolfram.com/language/ref/BooleanConvert.html}, note=[Accessed: 24-November-2024 ]}