Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(A→(B→C))→(¬C→¬(A∧B))
(avb)&(bvc)&(cva)
(p⇒(q⇒r))⇒((p⇒q)⇒(q⇒r))
НЕ(Z<3)и(Z<8)
Identical expressions
¬(A→(B→C))→(¬C→¬(A∧B))
¬A→B→C→¬C→¬A∧B

Mathematical Logic/ ¬(A→(B→C))→(¬C→¬(A∧B))

Expression ¬(A→(B→C))→(¬C→¬(A∧B))

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

⌨