Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(m∨x∨h)∨¬(m∨h)∨¬(m∨x)
¬(n→(¬s∧n))
¬((¬x1∨¬x2¬x3∨x2x3)∧(¬x2∨¬x3))
¬(¬((A↔B)&(¬A→(¬B|C))→C))
Identical expressions
¬((¬x1∨¬x2¬x3∨x2x3)∧(¬x2∨¬x3))
¬¬x1∨¬x2¬x3∨x2x3∧¬x2∨¬x3

Mathematical Logic/ ¬((¬x1∨¬x2¬x3∨x2x3)∧(¬x2∨¬x3))

Expression ¬((¬x1∨¬x2¬x3∨x2x3)∧(¬x2∨¬x3))

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

⌨