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> one)∧((x+y)≥ six))∨(y≥ five))
¬(((x greater than 1)∧((x plus y)≥6))∨(y≥5))
¬(((x greater than one)∧((x plus y)≥ six))∨(y≥ five))
¬x>1∧x+y≥6∨y≥5
Similar expressions
(x∨¬y⇒x∧z)⇒¬(x⇒(¬x))∨y∨¬z
¬xvyv(¬y&z)v¬yvz
x*y∨¬x*y∨¬x*y
xyv¬xy=y
¬(((x>1)∧((x-y)≥6))∨(y≥5))

Mathematical Logic/ ¬(((x>1)∧((x+y)≥6))∨(y≥5))

Expression ¬(((x>1)∧((x+y)≥6))∨(y≥5))

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

⌨