Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬a&avb
¬(А^Вv¬А)
¬(xy->x)
yx
Identical expressions
¬(xy->x)
¬(xy minus greater than x)
¬xy->x
Similar expressions
¬(xy+>x)
xvy->z
(¬(x∧¬y)∨(¬z⇒y))
¬xy->x¬y
yx

Mathematical Logic/ ¬(xy->x)

Expression ¬(xy->x)

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

⌨