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

LogicalExpand

Usage

LogicalExpand[expr] 扩展包含如同 &&||的逻辑连接的表达式。


Notes

LogicalExpand 对逻辑运算使用分配律。
• 例如: LogicalExpand[p && !(q || r)]LongRightArrow .
LogicalExpand 产生相应于有一些分离正规型的ORs或ANDs。
• 参见 Mathematica 全书: 1.5.6 and 节 3.6.6.
• 同时参见: Expand.
Further Examples

The results of LogicalExpand contain no nested Ands, Ors, or Nots. The head of the expression will be an explicit Or unless there is only one term. Similarly, any compound term will have an explicit head of And. LogicalExpand attempts to shorten output with heuristic simplification.

In[1]:=  

Out[1]=

In[2]:=  

Out[2]=

In[3]:=  

Out[3]=

In[4]:=  

Out[4]=