xor — bitwise xor
expression xor expression
xor : Z x Z -> Z
2 xor 4 = 6
Logical xor yields the following bitwise combinations: 0 xor 0 = 0, 0 xor 1 = 1, 1 xor 0 = 1 and 1 xor 1 = 0. If the expressions are not in Z, they are truncated before the bitwise xor is performed.