Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬a&bva&¬bv¬a&¬b+¬(avb)&¬av¬(a&b)&¬b
¬(¬(AvB)&¬A)vB
(¬(avbvc))v(¬(b))v((¬(av(¬(b))vc))&(¬((¬(a))vbvc)))v(¬(a))&b
(pvq)∧(p∨r)∨¬r
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 😉

⌨