An Exlusive Disjunction, or XOR is a binary operation of logic in which the truth value that is outputs a truth value of truth if and only if one of the propositions that is an operand is true and the other one is false. If both of them are true or false, then the operation outputs a truth value of false.