English language form: P exclusive-or Q

Symbolic abbreviation: (P ∨ Q) • ~(P • Q)

Typical examples include:

  P or Q but not both

  one and only one of the following is true P, Q