Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬¬a+b+c⇒¬b
¬avbv¬avb
¬(a⇒b)*c
y∨(x∧y)
Identical expressions
¬(a⇒b)*c
¬(a⇒b) multiply by c
¬(a⇒b)c
¬a⇒bc
Similar expressions
(¬a⇒bc)⇒(b∨¬c⇔ac)
(ab∨(¬a⇒bc))⇔((¬a⇒¬a)⇒z)
¬(a⇒b)c

Mathematical Logic/ ¬(a⇒b)*c

Expression ¬(a⇒b)*c

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

⌨