Leyes de De Morgan

Las Leyes de De Morgan se utilizan para encontrar equivalentes para proposiciones que se obtienen por negación de proposiciones compuestas.  Casos:

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

p ^ q: Las plantas necesitan del sol para crecer y necesitan del agua para nutrirse.

• ~ ( p ^ q ) = ~ p v ~ q

R// Las plantas no necesitan del sol para crecer o no necesitan del agua para nutrirse. 

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

~ ( p ^ q ): Las plantas  necesitan del sol para crecer o  necesitan del agua para nutrirse.

• ~ ( p v q ) = ~ p ^ ~ q

R// Las plantas no necesitan del sol para crecer y no necesitan del agua para nutrirse