Mister Exam

Lang:

Mathematical logic signs and operations

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

⌨