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
¬(xvy)⇒((¬x∧y)v(x∧¬y))
¬xvy⇒¬x∧yvx∧¬y

Mathematical Logic/ ¬(xvy)⇒((¬x∧y)v(x∧¬y))

Expression ¬(xvy)⇒((¬x∧y)v(x∧¬y))

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

⌨