simplify (a and b) xor a xor b