Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬x1*vx2*v¬x3
x⇒z⇒(y⇒z⇒(x+y⇒z))
x+y+z
x(-x)y
Identical expressions
(¬(¬avbvc))&(a&(bv¬(c)))&¬b
¬¬avbvc&a&bv¬c&¬b
Similar expressions
(¬(¬(a)vbvc)&(a&(bv¬(c))))&¬(b)

Mathematical Logic/ (¬(¬avbvc))&(a&(bv¬(c)))&¬b

Expression (¬(¬avbvc))&(a&(bv¬(c)))&¬b

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

⌨