A disjunção exclusiva (OU…OU) é o conectivo lógico que fica verdadeiro quando exatamente uma das proposições é verdadeira. Se as duas forem verdadeiras ou as duas forem falsas, o resultado é falso. Dominar sua interpretação, notações e equivalências acelera a resolução de questões em provas de Raciocínio Lógico.
O que é disjunção exclusiva (OU…OU)
Dados dois enunciados lógicos p e q, a disjunção exclusiva (também chamada de ou…ou) expressa a ideia de “ou um ou outro, mas não ambos”. Em símbolos, costuma aparecer como p ⊻ q. Em linguagem natural, é típica em frases como “exatamente um” ou “apenas um”.
Notações mais usadas em provas
- p ⊕ q (símbolo clássico do ou…ou)
- p ⊻ q (variação do símbolo de ou…ou)
- XOR(p, q) (forma textual)
- (p ∨ q) ∧ ¬(p ∧ q) (definição por conectivos básicos)
- (p ∧ ¬q) ∨ (¬p ∧ q) (forma por “casos”)
- ¬(p ↔ q) (negação do bicondicional)
- p ≠ q (quando se enfatiza que os valores de p e q são diferentes)
Palavras-chave que indicam disjunção exclusiva: “exatamente um”, “apenas um”, “um e não o outro”, “ou… ou…, mas não ambos”. Se aparecer só “ou”, verifique se o enunciado reforça a exclusividade.
Tabela-verdade da disjunção exclusiva
A tabela-verdade mostra quando p ⊻ q é verdadeira ou falsa:
| p | q | p ⊻ q |
|---|---|---|
| V | V | F |
| V | F | V |
| F | V | V |
| F | F | F |
Resumo: p ⊻ q é verdadeiro quando p e q têm valores diferentes.
Equivalências úteis e como aplicar
As equivalências abaixo são práticas para transformar enunciados e simplificar cálculos:
- p ⊻ q ≡ (p ∨ q) ∧ ¬(p ∧ q)
- p ⊻ q ≡ (p ∧ ¬q) ∨ (¬p ∧ q)
- p ⊻ q ≡ ¬(p ↔ q)
Veja, linha a linha, como (p ∨ q) ∧ ¬(p ∧ q) reproduz o mesmo resultado do ou…ou:
| p | q | p ∨ q | p ∧ q | ¬(p ∧ q) | (p ∨ q) ∧ ¬(p ∧ q) |
|---|---|---|---|---|---|
| V | V | V | V | F | F |
| V | F | V | F | V | V |
| F | V | V | F | V | V |
| F | F | F | F | V | F |
Relação com o bicondicional (SE E SOMENTE SE)
O bicondicional p ↔ q é verdadeiro quando p e q têm o mesmo valor lógico. Por isso, a disjunção exclusiva é exatamente a negação do bicondicional:
p ⊻ q ≡ ¬(p ↔ q)
Visualizando:
| p | q | p ↔ q | ¬(p ↔ q) |
|---|---|---|---|
| V | V | V | F |
| V | F | F | V |
| F | V | F | V |
| F | F | V | F |
Negar p ⊻ q NÃO é “¬p ⊻ ¬q”. A negação correta é p ↔ q. Do mesmo modo, negar p ↔ q resulta em p ⊻ q.
Como interpretar enunciados em português
Fique atento ao sentido de “ou” no texto:
- Exclusivo: “exatamente um”, “apenas um”, “ou… ou…, mas não ambos”. Modela-se com p ⊕ q.
- Inclusivo: “ou” simples, quando aceitar ambos como verdadeiros faz sentido no contexto. Modela-se com p ∨ q.
Quando o enunciado não deixar claro, leia com cuidado o contexto. Em provas, o “OU…OU” explicitado normalmente indica exclusividade.
Exemplos resolvidos
Exemplo resolvido
Exemplo: Em uma promoção, o brinde é entregue se o cliente apresentar RG ou CNH, mas não ambos. João apresenta RG e CNH. Ele recebe o brinde?
Resolução:
Defina p: “apresenta RG”; q: “apresenta CNH”. O critério é p ⊕ q. Para João, p = V e q = V. Pela tabela-verdade, V ⊕ V = F. Portanto, a condição não é satisfeita.
Resposta: Não recebe o brinde.
Exemplo resolvido
Exemplo: Sabendo que p = F e q = V, calcule o valor lógico de (p ⊻ q) ⊻ ¬q.
Resolução:
- Primeiro, p ⊻ q = F ⊻ V = V.
- Depois, ¬q = ¬V = F.
- Por fim, V ⊻ F = V (valores diferentes).
Observação: o ou…ou é comutativo e associativo, então a ordem de avaliação pode ser rearranjada sem mudar o resultado.
Resposta: Verdadeiro.
Checklist rápido para a prova
- Lembre: p ⊻ q é verdadeiro quando p e q têm valores diferentes.
- Traduções úteis: “exatamente um”, “apenas um”, “não ambos”.
- Equivalências-chave: p ⊻ q ≡ (p ∨ q) ∧ ¬(p ∧ q) ≡ ¬(p ↔ q).
- Na dúvida, monte a tabela-verdade ou reescreva por conectivos básicos.
Fechando: a disjunção exclusiva cai bastante em interpretações de texto lógico e em equivalências. Com as tabelas e equivalências acima, você resolve com segurança.
Quer aprofundar sua preparação em Matemática e Raciocínio Lógico com método passo a passo e prática focada em concursos? Conheça o Exatas Express e estude com materiais objetivos e diretos ao ponto.