XOR is an operation on two logical propositions. If p and q are two propositions, (p XOR q) is a proposition that is true if either p is true or if q is true, but not both. (p XOR q) is logically equivalent to ((p | q) & !(p & q)).