simplifying xor