Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(av¬(avb))v(¬a&¬b)v(a&b)
¬(X1V¬X2)&(¬X1&X3)
¬(AvB⇒¬(C&B))⇒¬A&(Cv¬B)
¬(AB+BC)
Identical expressions
x*y->(xvy)*z
x multiply by y minus greater than (xvy) multiply by z
xy->(xvy)z
xy->xvyz
Similar expressions
x^(y->z)
xy->zu
xvyzv!x!yz
¬xvyzn
xvyvz->(xvy)z
x^y->x
x*y+>(xvy)*z
¬(¬xvyz)

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

Expression xy->(xvy)z

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

⌨