Em Lógica, o conectivo ∨ representa a disjunção exclusiva, de maneira que a operação lógica p ∨ q é verdadeira quando apenas uma das proposições p ou q for verdadeira.
Dadas as proposições simples p e q, é tautológica a proposição composta
- A ∼p ∨ ((p ∧ q) ∨ (p → q))
- B p ∨ (q ↔ (∼p → q))
- C ∼((p ∨ q) ∧ ∼q)
- D ∼(p ∧ q) → ((q ∨ p) ↔ (p ∨ q))
- E ((p ∨ q) ∨ (p ∨ q)) ↔ ∼p
