Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(P→Q)∧(Q→R)→(P→R)
{(1\lor0)\land(1\lor0)}(1∨0)∧(1∨0)
∼a⇒∼(∼a∨b)
xvy=x
Identical expressions
(¬(avbvc))v(¬(b))v((¬(av(¬(b))vc))&(¬((¬(a))vbvc)))v(¬(a))&b
¬avbvcv¬bv¬av¬bvc&¬¬avbvcv¬a&b

Mathematical Logic/ (¬(avbvc))v(¬(b))v((¬(av(¬(b))vc))&(¬((¬(a))vbvc)))v(¬(a))&b

Expression (¬(avbvc))v(¬(b))v((¬(av(¬(b))vc))&(¬((¬(a))vbvc)))v(¬(a))&b

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

⌨