§ XOR and AND relationship

• a xor b = a + b - 2 (a & b)