Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬xvxvy
¬(¬((a∨b)∧c)∨(¬(a∧b∨b∧c)))
xy∨yz∨z
x*y->-x*-y*z
Identical expressions
¬(¬((a∨b)∧c)∨(¬(a∧b∨b∧c)))
¬¬a∨b∧c∨¬a∧b∨b∧c
Similar expressions
¬((¬(a∨b)∧c)∨(¬(a∧b∨b∧c)))

Mathematical Logic/ ¬(¬((a∨b)∧c)∨(¬(a∧b∨b∧c)))

Expression ¬(¬((a∨b)∧c)∨(¬(a∧b∨b∧c)))

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

⌨