Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬AvA&B&C
¬(¬((A↔B)&(¬A→(¬B|C))→C))
z&xvy&xvy&z
y+1
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 😉

⌨