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
¬(ab⇔a¬c)∨(ba¬c⇒ab(¬a∨¬b∨ac))
¬ab⇔a¬c∨ba¬c⇒ab¬a∨¬b∨ac

Mathematical Logic/ ¬(ab⇔a¬c)∨(ba¬c⇒ab(¬a∨¬b∨ac))

Expression ¬(ab⇔a¬c)∨(ba¬c⇒ab(¬a∨¬b∨ac))

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

⌨