Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬x∧y∧z∧(y∧z∨¬y∧¬z)
¬(A^Bv¬A)
yz∨yz
x∧yvxvy
Identical expressions
xy->(x->(-y))
xy minus greater than (x minus greater than ( minus y))
xy->x->-y
Similar expressions
x*y->x
x^(y->z)
xy->(x+>(-y))
-(x*(-x*-y))
xy+>(x->(-y))
notx^(((y->z)^x)v(y<->z))
xy->(x->(y))
x*(-y)+x*(-y)

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

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

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

⌨