Respuestas
Respuesta:
En lógica proposicional y álgebra de Boole, las leyes de De Morgan123 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.
Las reglas se pueden expresar en español como:
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:
{\displaystyle \neg (P\land Q)\iff (\neg P)\lor (\neg Q)}\neg (P\land Q)\iff (\neg P)\lor (\neg Q)
{\displaystyle \neg (P\lor Q)\iff (\neg P)\land (\neg Q)}\neg (P\lor Q)\iff (\neg P)\land (\neg Q)
Respuesta:
las leyes de morgan son 2 reglas de transformacion que son ambas reglas de
inferenci valida basicamente son 2 reglas de transformaciom 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)"