LogicalExpand
 Usage
Notes
 Further Examples
The results of LogicalExpand contain no nested Ands, Ors, or Nots. The head of the result 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]=
|
Any variable in an inequality is assumed to be real.
In[5]:=
|
Out[5]=
|
| 
