Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬a∨a∧b⇒c∨b∧¬a
¬(¬(¬(a∨b)∧¬a)∧a)
¬(y→(x≡w))/\(z→x)
not(not(a)*b+a*not(b)+not(a*b)+c)
Identical expressions
(¬x2&x1v¬x3&x1vx2&x3)&(¬(x1&¬x3)v¬x3&x2)
¬x2&x1v¬x3&x1vx2&x3&¬x1&¬x3v¬x3&x2

Mathematical Logic/ (¬x2&x1v¬x3&x1vx2&x3)&(¬(x1&¬x3)v¬x3&x2)

Expression (¬x2&x1v¬x3&x1vx2&x3)&(¬(x1&¬x3)v¬x3&x2)

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

⌨