Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(¬b⇒(¬c∧a)∨b)⇒¬a&(cv¬b)
zx(¬y+¬z)
xzvxy
xyzV!(xyz)
Identical expressions
(xvy)&((xv(z&y))v(y|(x&(y&z))))&x&y
(xvy)&((xv(z&y))v(y module of (x&(y&z))))&x&y
xvy&xvz&yvy|x&y&z&x&y

Mathematical Logic/ (xvy)&((xv(z&y))v(y|(x&(y&z))))&x&y

Expression (xvy)&((xv(z&y))v(y|(x&(y&z))))&x&y

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

⌨