[om] semantics of n-ary xor?

[David Carlisle]

> 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
________________________________________________________________________
--
om at openmath.org  -  general discussion on OpenMath
Post public announcements to om-announce at openmath.org
Automatic list maintenance software at majordomo at openmath.org
Mail om-owner at openmath.org for assistance with any problems