Mister Exam
  • Identical expressions

  • yv(xv!z->!y)y
  • yv(xv!z minus greater than !y)y
  • yvxv!z->!yy
  • Similar expressions

  • yv(xv!z+>!y)y

Expression yv(xv!z->!y)y