W3C home > Mailing lists > Public > www-math@w3.org > September 2003

Re: [om] semantics of n-ary xor?

From: David Carlisle <davidc@nag.co.uk>
Date: Wed, 17 Sep 2003 15:21:51 +0100
Message-Id: <200309171421.PAA23653@penguin.nag.co.uk>
To: om@openmath.org
Cc: www-math@w3.org


> Now I ask you:  what exactly *is* the meaning of n-ary xor in MathML (or 
> OpenMath, for that matter)?

We did discus this at some length in an OM meeting somewhere, the result
is that OM and MathML are consistent here:

Openmath says (logic1 CD)

<Description> 
This symbol represents the logical xor function which is an n-ary
function taking boolean arguments and returning a boolean
value. It is true if there are an odd number of true arguments or
false otherwise.
</Description>

MathML says (C.2.3.15)

The is the n-ary logical "xor" operator. The constructed expression has
a truth value of true if an odd number of its arguments are true.


We did find some references to support this definition, but I don't have
them to hand at present, perhaps James or Stan can cite something?

David


________________________________________________________________________
This e-mail has been scanned for all viruses by Star Internet. The
service is powered by MessageLabs. For more information on a proactive
anti-virus service working around the clock, around the globe, visit:
http://www.star.net.uk
________________________________________________________________________
Received on Wednesday, 17 September 2003 10:22:02 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:55 GMT