(a implies b) xor b