ยง
XOR and AND relationship
a xor b = a + b - 2 (a & b)