LogicalExpand
 Usage
• LogicalExpand[expr] 扩展包含如同 && 和||的逻辑连接的表达式。
Notes
• LogicalExpand 对逻辑运算使用分配律。 • 例如： LogicalExpand[p && !(q || r)]  . • LogicalExpand 产生相应于有一些分离正规型的ORs或ANDs。
 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]=
|
| 
