Correct XOR and XNOR