Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(P∧Q)∨¬((P∨Q)→(P∧Q))∨(P∨Q)
¬(P⇔Q)
~(~(~A∨B→A))∨B
¬x∨(y*z)⇒¬(z*w)∨y
Identical expressions
¬x∨(y*z)⇒¬(z*w)∨y
¬x∨(y multiply by z)⇒¬(z multiply by w)∨y
¬x∨(yz)⇒¬(zw)∨y
¬x∨yz⇒¬zw∨y
Similar expressions
(¬x∨(yz))⇒((¬zw)∨y)

Mathematical Logic/ ¬x∨(y*z)⇒¬(z*w)∨y

Expression ¬x∨(yz)⇒¬(zw)∨y

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

⌨