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”.