(p => q) xor (not p => q)