Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(¬((¬p)∨(p∧(¬q))))∧((q∧r)∨(p∧(¬r)))
¬(y→(x≡w))∧(z→x)
(xvyvz)⇒(xvy)z
(av1)v(bv0)
Identical expressions
(¬((¬p)∨(p∧(¬q))))∧((q∧r)∨(p∧(¬r)))
¬¬p∨p∧¬q∧q∧r∨p∧¬r

Mathematical Logic/ (¬((¬p)∨(p∧(¬q))))∧((q∧r)∨(p∧(¬r)))

Expression (¬((¬p)∨(p∧(¬q))))∧((q∧r)∨(p∧(¬r)))

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

⌨