- From: David Carlisle <davidc@nag.co.uk>
- Date: Wed, 17 Sep 2003 15:21:51 +0100
- 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 UTC