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