Leyes de De Morgan

Carta Rara · N.º 64427

En lógica proposicional y álgebra de Boole, 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 negación. Las reglas se pueden expresar en español.La negación de la conjunción es la disyunción de las negaciones.La negación de la disyunción es la conjunción de las negaciones. o informalmente como: «no (A y B)» es lo mismo que «(no A) o (no B)»y también,«no (A o B)» es lo mismo que «(no A) y (no B)» Las reglas pueden ser expresadas en lenguaje formal con dos proposiciones P y Q, de esta forma: ¬ ( P ∧ Q ) ⟺ ( ¬ P ) ∨ ( ¬ Q ) {\displaystyle \neg (P\land Q)\iff (\neg P)\lor (\neg Q)} ¬ ( P ∨ Q )…

Leer en Wikipedia