Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(x|y)⇒(x|z)
¬(xvy)vyv(x&y&z)v¬x
¬(x<->y)∧¬x
¬(ab⇔a¬c)∨(ba¬c⇒ab(¬a∨¬b∨ac))
Identical expressions
¬(x<->y)∧¬x
¬(x less than minus greater than y)∧¬x
¬x<->y∧¬x
Similar expressions
zx∨z¬y∨¬xy¬z
¬((x+y)^(x^y))
¬(x<+>y)∧¬x
yzV¬x(z)Vxyz

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

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

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

⌨