(x and x) xor x