(a implies b) xor a