Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬b⇒(((a⇒c)∨¬a∧b)∨(¬c⇒d))
¬a∨a∧¬b∨¬(a∧b∧¬c)va∧(¬av¬c)
¬abcVabc
¬a&¬bv¬b
Identical expressions
¬a∨a∧¬b∨¬(a∧b∧¬c)va∧(¬av¬c)
¬a∨a∧¬b∨¬a∧b∧¬cva∧¬av¬c

Mathematical Logic/ ¬a∨a∧¬b∨¬(a∧b∧¬c)va∧(¬av¬c)

Expression ¬a∨a∧¬b∨¬(a∧b∧¬c)va∧(¬av¬c)

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

⌨