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 )