Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
x∨(y⇒z)∨(x∧y)∨¬x
¬(¬(a|(b⇔c))<-(¬b⊕¬c))
¬(b⇒c)∧¬a⇒c
¬(a|b|c)&d|a&d|b
Identical expressions
x∨(y⇒z)∨(x∧y)∨¬x
x∨y⇒z∨x∧y∨¬x

Mathematical Logic/ x∨(y⇒z)∨(x∧y)∨¬x

Expression x∨(y⇒z)∨(x∧y)∨¬x

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

⌨