Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
b&not(a)v(not(a)&b)&(not(b)va)
¬b⇒(((a⇒c)∨¬a∧b)∨(¬c⇒d))
¬100101&101111∧1010010
x*y->(xvy)*z
Identical expressions
¬b⇒(((a⇒c)∨¬a∧b)∨(¬c⇒d))
¬b⇒a⇒c∨¬a∧b∨¬c⇒d

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

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

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

⌨