> On the other hand, in mathematics "exclusive or" is a much more important logical function than parity.

This is called uniqueness quantification and has its own symbol, ∃!