A disjunção exclusiva, denotada por ⊕, é uma operação lógica que assume valor verdadeiro quando, e somente quando, apenas uma das proposições envolvidas assumir valor lógico verdadeiro.

Considere as proposições:

p: A equipe x participa do campeonato.
q: A equipe y fica na 2a colocação do campeonato.

Por qual proposição a negação de p⊕q pode ser expressa?