Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(¬xvyz)
¬(¬b⇒(¬c∧a)∨b)⇒¬a&(cv¬b)
¬(x2x1⊕x3+¬x1⊕x3x1)⊕(x2+¬x1)
xy∨¬zy
Identical expressions
A&¬(¬Cv¬B)v¬(¬AvB)&CvA&C
A&¬¬Cv¬Bv¬¬AvB&CvA&C

Mathematical Logic/ A&¬(¬Cv¬B)v¬(¬AvB)&CvA&C

Expression A&¬(¬Cv¬B)v¬(¬AvB)&CvA&C

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

⌨