Leyes D' Morgan

La negación de "y" es lógicamente equivalente a "o" de cada una de las proposiciones simples negadas.
~(p^q)≡~p v ~q

La negación de "o" es lógicamente equivalente a "y" de cada una de las proposiciones simples negadas.
~(pvq)≡~p^~q