THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.

DOCUMENTATION CENTER SEARCH

Mathematica >

LogicalExpand

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

展开逻辑表达式：

Out[1]=

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

化简逻辑表达式：

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

将等式组合展开：

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

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

展开 Element 说明的否定形式：

证明重言式：

LogicalExpand 的输出等价于输入：

德摩根（De Morgan）定律：

展开

变量的 Xor 形式通常包含

项：

版本 1 的新功能

格式: HTML | CDF