MathGroup Archive 2000

[Date Index] [Thread Index] [Author Index]

Search the Archive

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



  • Prev by Date: Resources for high school student?
  • Next by Date: formatting questions
  • Previous by thread: RE: Resources for high school student?
  • Next by thread: Re: And, Or, Intersection, Union - no Orderless attribute