simplify a xor b xor (a and b)