sábado, 17 de octubre de 2015

Leyes de De Morgan

1ª Ley de De Morgan:
 
\neg(P\land Q)\iff(\neg P)\lor(\neg Q)

2ª Ley de De Morgan:
 
\neg(P\lor Q)\iff(\neg P)\land(\neg Q)

Donde:
  • ¬ es el operador de negación (NO)
  • \land es el operador de conjunción (Y)
  • \lor es el operador de disyunción (O)
  • ⇔ es una igualdad, es reciproco.

Como podemos observar, siempre que se niegan dos elementos al mismo tiempo con el operador " \land", se niegan por separado con el operador " \lor". Y en la segunda ley ocurre lo mismo pero al contrario.

No hay comentarios:

Publicar un comentario