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
yx⇒(z+yx)
yx⇒(z plus yx)
yx⇒z+yx
Similar expressions
yx⇒(z-yx)

Mathematical Logic/ yx⇒(z+yx)

Expression yx⇒(z+yx)

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

⌨