xor -- exclusive disjunction

Synopsis

• Usage:
t xor u
• Inputs:
• t, ,
• u, ,
• Outputs:
• , equivalent to t and not u or not t and u

• and -- conjunction
• or -- disjunction

Ways to use symbol xor :

• "Expression xor Expression" -- see Expression -- the class of all expressions
• "Expression xor Holder" -- see Expression -- the class of all expressions
• "Expression xor Thing" -- see Expression -- the class of all expressions
• "Holder xor Expression" -- see Expression -- the class of all expressions
• "Holder xor Holder" -- see Expression -- the class of all expressions
• "Thing xor Expression" -- see Expression -- the class of all expressions
• "Boolean xor Boolean"

For the programmer

The object xor is .

This operator may be used as a binary operator in an expression like x xor y. The user may install binary methods for handling such expressions with code such as

         X  xor  Y := (x,y) -> ...

where X is the class of x and Y is the class of y.