Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬((¬p)∨¬q)→(r∨¬t)
b&not(a)v(not(a)&b)&(not(b)va)
(xvy)(y->z)(z<->x)
�(�(x+y)*x)
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 😉

⌨