Leyes de Morgan
Las leyes de morgan son una parte de la lógica proposicional y analítica creada por Augustus de Morgan.

las leyes de Morgan son muy útiles cuando se requiere encontrar equivalentes para proposiciones que se obtienen por negación de proposiciones compuestas.

la negación de una conjunción equivale a la disyunción de las negaciones.