Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬a&bv¬(avb)*va
¬(¬(a&b)v¬(cvb)&avc)v¬(bvc)
¬(y→(x≡w))/\(z→x)
¬(a∧b)∧a∨ac
Identical expressions
¬(¬(a&b)v¬(cvb)&avc)v¬(bvc)
¬¬a&bv¬cvb&avcv¬bvc
Similar expressions
¬(¬(a&b)v¬(cvb)&(avc))v¬(bvc)

Mathematical Logic/ ¬(¬(a&b)v¬(cvb)&avc)v¬(bvc)

Expression ¬(¬(a&b)v¬(cvb)&avc)v¬(bvc)

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

⌨