Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(x|y)⇒(x|z)
¬(xvy)vyv(x&y&z)v¬x
¬(x<->y)∧¬x
¬(ab⇔a¬c)∨(ba¬c⇒ab(¬a∨¬b∨ac))
Identical expressions
¬((x+y)^(x^y))
¬((x plus y) to the power of (x to the power of y))
¬((x+y)(xy))
¬x+yxy
¬x+y^x^y
Similar expressions
¬((x-y)^(x^y))

Mathematical Logic/ ¬((x+y)^(x^y))

Expression ¬((x+y)^(x^y))

The teacher will be very surprised to see your correct solution 😉

⌨