Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬((¬a)V(¬b)&(aVc)vb&¬(aVc))
¬(¬((A↔B)&(¬A→(¬B|C))→C))
zx(¬y+¬z)
xyz⊕xyz
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 😉

⌨