Sr Examen
  • Expresiones idénticas

  • notx^(((y->z)^x)v(y<->z))
  • notx en el grado (((y menos más z) en el grado x)v(y menos menos más z))
  • notx(((y->z)x)v(y<->z))
  • notxy->zxvy<->z
  • notx^y->z^xvy<->z
  • Expresiones semejantes

  • notx^(((y->z)^x)v(y<+>z))
  • notx^(((y+>z)^x)v(y<->z))

Expresión notx^(((y->z)^x)v(y<->z))