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
¬(¬((A↔B)&(¬A→(¬B|C))→C))
¬(¬((A↔B)&(¬A→(¬B module of C))→C))
¬¬A↔B&¬A→¬B|C→C

Mathematical Logic/ ¬(¬((A↔B)&(¬A→(¬B|C))→C))

Expression ¬(¬((A↔B)&(¬A→(¬B|C))→C))

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

⌨