Na álgebra das proposições lógicas, as regras de DE MORGAN são utilizadas para negar tanto a disjunção quanto a conjunção. Verificar qual das alternativas a seguir, de acordo com DE MORGAN, representa, na forma simbólica, a negação de: “Os homens são de Marte e as mulheres são de Vênus”.
- A ∼p ∧ ∼q .
- B p ⟶ q.
- C p ∨ q.
- D ∼p ⟶ ∼q.
- E ∼p ∨ ∼q.