NEGACIONES DE PREPOSICIONES       Y LEYES DE MORGAN

Las leyes de De Morgan son dos leyes lógicas pertenecientes a la lógica proposicional que fueron formuladas por el matemático 

• El opuesto de una conjunción es equivalente a la disyunción que se forma con los opuestos o negaciones de las proposiciones que conforman la conjunción.
• La negación de la disyunción se puede expresar como una conjunción conformada por los opuestos o negaciones de las proposiciones involucradas en la disyunción.

En la notación de la lógica proposicional, las leyes de De Morgan se expresan de una forma compacta y más formal así:

• ∼ (p ∧ q) ⇔ ∼p ∨ ∼q
• ∼ (p ∨ q) ⇔ ∼p ∧ ∼q