XOR stands for "Exclusive OR" and is used for constraints
Remarks
- This function is used in constraints only.
- The XOR (Exclusive OR) returns TRUE if the values tested are different, and returns FALSE only if they are the same.
- Other operators are EQV, IMP, OR and AND