Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(¬((A↔B)∧(¬A→(¬B∨C))→C))
А&BvC
(1∧0)⇔(1∨¬1)
(avbv!c)&(!avbvc)
Identical expressions
¬(¬((A↔B)∧(¬A→(¬B∨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 😉

⌨