Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
xv¬yz(zv¬xy)
a∧(b∨(¬c)∨(¬d))∧(c∨(¬b)∨(¬d))
C→(((A→B)→B)∧(~A∧(~B∨A)))
2016
Identical expressions
a∧(b∨(¬c)∨(¬d))∧(c∨(¬b)∨(¬d))
a∧b∨¬c∨¬d∧c∨¬b∨¬d
Similar expressions
a∧(b∨¬c∨¬d)∧(c∨¬b∨¬d)

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

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

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

⌨