Sr Examen
  • Expresiones idénticas

  • ¬(¬xvy)⇒(xvy⇒x)
  • ¬¬xvy⇒xvy⇒x

Expresión ¬(¬xvy)⇒(xvy⇒x)