Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(¬b⇒(¬c∧a)∨b)⇒¬a&(cv¬b)
xy->zu
xy+yz+¬xz
x*y->-xv-y*z
Identical expressions
x*y->-xv-y*z
x multiply by y minus greater than minus xv minus y multiply by z
xy->-xv-yz
Similar expressions
x*y+>-xv-y*z
x*y->-xv+y*z
x^y->x
xy->zu
notx^(((y->z)^x)v(y<->z))
x^(y->z)
x*y->+xv-y*z

Mathematical Logic/ x*y->-xv-y*z

Expression xy->-xv-yz

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

⌨