Angabe: ,,p oder q gilt, aber p und q schließen einander aus."
wenn : ,,p oder q gilt,"
dann ist mindestens einer von beiden wahr ( oder sogar beide)
Da sie sich aber ausschließen, können nicht beide wahr sein,
also ist entweder
p wahr und q falsch
oder
p falsch und q wahr.
Es ist also in der Tat das XOR und das kannst du
auch so schreiben
(p v q) ∧ ¬(p Λ q)
oder auch ganz nett in disjunktiver Normalform
( ¬p Λ q) v (p ∧ ¬q )