Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬x∨x∧z∨¬(x∧y)∨x∧y
¬x∧y∧z∧(y∧z∨¬y∧¬z)
¬(x)zvxyzv¬xz
xy->(x->(-y))
Identical expressions
xy->(x->(-y))
xy minus greater than (x minus greater than ( minus y))
xy->x->-y
Similar expressions
xy+>(x->(-y))
x(-x)(-y)
xy->(x->(y))
x^y->x
x(-x)y
xy->(x+>(-y))
x*y->x
x*(-y)+x*(-y)
x^(y->z)
x-x

Mathematical Logic/ xy->(x->(-y))

Expression xy->(x->(-y))

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

⌨