Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
~(P∨Q)↔(P∧Q)
¬(p⇔q)
(P∧Q)∨(P∧~Q)
((P→Q)∧(Q→R))→(P→R)
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 😉

⌨