Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(¬(x∧¬y)∨(¬z⇒y))
(¬x∨1)∨(x→y)(¬x∨1)∨(x→y)
((x&y)∨¬x∨1)
¬a&avb
Identical expressions
(¬(x∧¬y)∨(¬z⇒y))
¬x∧¬y∨¬z⇒y
Similar expressions
¬((x∧¬y)∨(¬z⇒y))

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

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

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

⌨