Las leyes de Morgan son muy útiles cuando se quieren encontrar equivalentes para las proposiciones que se obtiene por negación de proposiciones compuestas.
La negación de una conjunción equivale a la disyunción de las negaciones.
~(p^q)=~p\/~q
La Negación de una disyunción equivale a la conjunción de las negaciones.
~(p\/q)=~p^~q
No hay comentarios:
Publicar un comentario