Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(x*y+((x*y)*(y*z)))
¬((¬(a∧c)∨b)∨(¬(b))∨(b∧(¬(a∨c))))
x*1
f(x1,x2,x3)=(¬x1∨x2)⇒(x1∧x3)
Identical expressions
¬((¬(a∧c)∨b)∨(¬(b))∨(b∧(¬(a∨c))))
¬¬a∧c∨b∨¬b∨b∧¬a∨c

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

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

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

⌨