Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(¬P∨¬Q)→(P↔¬Q)
P→((P→Q)∧¬(¬Q∨¬P))
((P∧Q)∨(P∧¬Q))∨(¬P∧¬Q)
¬(P∧Q)∧(Q∨¬P)
Identical expressions
(ab∨(¬a⇒bc))⇔((¬a⇒¬a)⇒z)
ab∨¬a⇒bc⇔¬a⇒¬a⇒z

Mathematical Logic/ (ab∨(¬a⇒bc))⇔((¬a⇒¬a)⇒z)

Expression (ab∨(¬a⇒bc))⇔((¬a⇒¬a)⇒z)

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

⌨