Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(¬((A↔B)∧(¬A→(¬B∨C))→C))
A&(BvC)=(A&B)v(A&c)
¬X∨y∨z
(P⊕Q)∧((P→R)∨(Q→S))
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 😉

⌨