A disjunction that is true if only one, but not both, of its arguments are true, and is false if neither or both are true, which is equivalent to the XOR connective.
By contrast, the inclusive disjunction is true if either or both of its arguments are true. This is equivalent to the OR connective.
