Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
┐((┐pΛq)V(┐pΛ┐q))V(pVq)
¬xvyv(¬y&z)v¬yvz
¬AvBv¬(¬BvA)vA&B
¬(((x>1)∧((x+y)≥6))∨(y≥5))
Identical expressions
(x∨¬y⇒x∧z)⇒¬(x⇒(¬x))∨y∨¬z
x∨¬y⇒x∧z⇒¬x⇒¬x∨y∨¬z

Mathematical Logic/ (x∨¬y⇒x∧z)⇒¬(x⇒(¬x))∨y∨¬z

Expression (x∨¬y⇒x∧z)⇒¬(x⇒(¬x))∨y∨¬z

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

⌨