Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
z->not(y->z)
xy<->not(x)not(y)
x*y->x
notx^(((y->z)^x)v(y<->z))
Integral of d{x}:
xy
Sum of series:
xy
Equation:
xy
Identical expressions
xy<->not(x)not(y)
xy less than minus greater than not(x)not(y)
xy<->notxnoty
Similar expressions
x*y->x
¬x*y+¬x*y*z⇒¬x+¬x*y+¬y
notx^(((y->z)^x)v(y<->z))
xy<+>not(x)not(y)

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

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

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

⌨