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
¬(¬(a|(b⇔c))<-(¬b⊕¬c))
¬(¬(a module of (b⇔c)) less than minus (¬b⊕¬c))
¬¬a|b⇔c<-¬b⊕¬c
Similar expressions
¬(¬(a|(b⇔c))<+(¬b⊕¬c))

Mathematical Logic/ ¬(¬(a|(b⇔c))<-(¬b⊕¬c))

Expression ¬(¬(a|(b⇔c))<-(¬b⊕¬c))

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

⌨