Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(b∧¬(a∧b))
¬((¬M)∨(¬E))
x+x+y+z
x*y->(xvy)*z
Identical expressions
x*y->(xvy)*z
x multiply by y minus greater than (xvy) multiply by z
xy->(xvy)z
xy->xvyz
Similar expressions
¬xy->x¬y
xvyvz->(xvy)z
xx(-y)vx(-x)yvx(-y)(-y)v(-x)y(-y)
¬xvyzn
xy->zu
x*y+>(xvy)*z
¬x¬yzvx¬yv¬(xvyz)
xvyzv!x!yz

Mathematical Logic/ x*y->(xvy)*z

Expression xy->(xvy)z

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

⌨