Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬xvyv(¬y&z)v¬yvz
¬(¬A&BvA&(Bv¬C))⇔¬B&(¬AvC)
¬(xvy)vyv(x&y&z)v¬x
¬(x<->y)∧¬x
Identical expressions
¬(x<->y)∧¬x
¬(x less than minus greater than y)∧¬x
¬x<->y∧¬x
Similar expressions
xy∨¬x¬z∨x¬z
¬xvyv(¬y&z)v¬yvz
¬(x<+>y)∧¬x
¬((x+y)^(x^y))

Mathematical Logic/ ¬(x<->y)∧¬x

Expression ¬(x<->y)∧¬x

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

⌨