Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
не(x|не(y))⊕(z→не(x))
¬(a∧¬b)∨¬(c∨d)⇒¬b∧(a∨c)⇒¬a
¬1&(1v1)v(¬0&1)
¬X∧Yv¬(XvY)vX
Identical expressions
¬(a∧¬b)∨¬(c∨d)⇒¬b∧(a∨c)⇒¬a
¬a∧¬b∨¬c∨d⇒¬b∧a∨c⇒¬a

Mathematical Logic/ ¬(a∧¬b)∨¬(c∨d)⇒¬b∧(a∨c)⇒¬a

Expression ¬(a∧¬b)∨¬(c∨d)⇒¬b∧(a∨c)⇒¬a

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

⌨