Sr Examen
  • Expresiones idénticas

  • ¬((uno <->¬ uno)^ uno)-> uno
  • ¬((1 menos menos más ¬1) en el grado 1) menos más 1
  • ¬((uno menos menos más ¬ uno) en el grado uno) menos más uno
  • ¬((1<->¬1)1)->1
  • ¬1<->¬11->1
  • ¬1<->¬1^1->1
  • Expresiones semejantes

  • ¬((1<->¬1)^1)+>1
  • ¬((1<+>¬1)^1)->1

Expresión ¬((1<->¬1)^1)->1