XOR

Subtype of Boolean Operation

Applies only in a context where there are at least two input boolean variables.
It then specifies the transformation of the input boolean variables to one single output boolean variable that represents their logical exclusive disjunction.
Formally:
(x , y) → (x && !y) || (!x && y)
In words:
It produces an output of TRUE if exactly one of the input variables is TRUE
It produces an output of FALSE in all other cases.