Hi Mathgroup !!
Is there any reason that the symbols
And,
Or,
Intersection,
Union
do not have the Orderless attribute (but do have the Flat attribute).
These operations are commutative (as far as I know). We can see this fo And and Or if we use LogicalExpand
In[1]: b && c && a
Out[1]: b && c && a
In[2]: LogiclaExpand[%]
Out[2]: a && b && c
Why, why ??
Drago Ganic
Croatia