"Leyes de D' Morgan"

Leyes de D' Morgan

• La negación de "y" es lógicamente equivalente a "o" de cada una de las proposiciones simples negadas. [-(p^q) = -pV-q]
• La negación de una "o" es logicamente equivalente a "y" de cada una de las proposiciones simples negadas. [-(pVq) = -p^-q]

Mi opinión acerca del tema visto? son razonamientos demasiado lógicos que si logramos hacer un procedimiento completamente bien, nos debería quedar un mismo resultado aun no sabiendo las reglas de D' Morgan. 

Sera fácil o difícil su comprensión y su aplicación? la comprensión es algo confusa ya que tendríamos que saber que valores usar, que tipo de proposicion compuesta cambiar y a cual cambiarla y conocer de memoria lo que la regla establece para evitar cualquier equivocación a la hora de aplicarlo a la practica. 

Ejemplos:

Un ejemplo de las leyes de D' Morgan seria la siguiente oración:

* Escriba la negacion de "Es verano y no hay nieve"

- p^q ------- negado: -(p^q)

   -pV-q

= NO es verano O hay nieve. 

* Escriba la negacion de "Yo no voy o ella va"

- pVq ------- negado: -(pVq)

  -p^-q

= Yo voy Y ella no va.