Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(n→(¬s∧n))
xvyvz->(xvy)z
a+(-b-c)
a&b&(a&cva&b)
Identical expressions
xvyvz->(xvy)z
xvyvz minus greater than (xvy)z
xvyvz->xvyz
Similar expressions
¬xvyzn
(xvyvz)(-xvyvz)(xv(-y)vz)
xvyzv!x!yz
xvyvz+>(xvy)z
(¬x¬yz)v(x¬y)v(¬(xvyz))
¬(¬xvyz)

Mathematical Logic/ xvyvz->(xvy)z

Expression xvyvz->(xvy)z

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

⌨