And, Or, Intersection, Union - no Orderless attribute
- To: mathgroup at smc.vnet.net
- Subject: [mg23994] And, Or, Intersection, Union - no Orderless attribute
- From: "Drago Ganic" <drago.ganic at in2.hr>
- Date: Mon, 19 Jun 2000 01:45:36 -0400 (EDT)
- Sender: owner-wri-mathgroup at wolfram.com
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