Árvore de páginas

Básicamente, la ley de Morgan se refiere a distribuir el "not" o "!" en expresiones booleanas.

 


Ejemplo:

!(lVarA .Or. lVarB .Or. lVarC) => (!lVarA) .And. (!lVarB) .And. (!lVarC)
o
!(lVarA .And. lVarB .And. lVarC) => (!lVarA) .Or. (!lVarB) .Or. (!lVarC)

 

Esto facilita la comprensión, pues la mayor parte de las ocasiones resulta confuso traducir estas operaciones de cabeza, principalmente cuando hay una doble negación (la negación de una variable False).

 

La aplicación de la regla consiste simplemente en distribuir la negación y cambiar el .AND. por .OR. (y viceversa).

  • Sem rótulos