Leyes de De Morgan
Las leyes de De Morgan son un par de reglas de transformación que son ambas reglas de inferencia válidas. Las normas permiten la expresión de las conjunciones y disyunciones puramente en términos de vía negación.
Conjunción: La negación de una conjunción equivale a la disyunción de las negaciones.
¬ (P ʌ Q) = ¬ P v ¬ Q
Disyunción: La negación de una disyunción equivale a la conjunción de las negaciones.
¬ (P v Q) = ¬ P ʌ ¬ Q
Comentarios
Publicar un comentario