LogicalExpand

LogicalExpand[expr]

展开方程式、不等式和其他函数的逻辑组合.

更多信息和选项

范例

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

基本范例  (1)

展开逻辑表达式：

范围  (7)

将逻辑表达式表示成交集的并集（析取范式）：

化简逻辑表达式：

将逻辑表达式展开成仅关于 And、Or 和 Not 的形式：

将等式组合展开：

按不同级数来组合方程项：

将多元参数的方程和不等式转换为二元参数形式：

展开 Element 说明的否定形式：

应用  (1)

证明重言式：

属性和关系  (2)

LogicalExpand 的输出等价于输入：

德摩根（De Morgan）定律：

巧妙范例  (1)

展开 变量的 Xor 形式通常包含 项：

Wolfram Research (1988)，LogicalExpand，Wolfram 语言函数，https://reference.wolfram.com/language/ref/LogicalExpand.html.

文本

Wolfram Research (1988)，LogicalExpand，Wolfram 语言函数，https://reference.wolfram.com/language/ref/LogicalExpand.html.

CMS

Wolfram 语言. 1988. "LogicalExpand." Wolfram 语言与系统参考资料中心. Wolfram Research. https://reference.wolfram.com/language/ref/LogicalExpand.html.

APA

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

BibTeX

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

BibLaTeX

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