Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
a→(a∧b)
(P⇒Q)
(X→Y)→(¬X→¬Y)
(!X0^!X1^!X2^X3)+(X0^!X1^!X2^X3)
Identical expressions
x*y->y*x*z
x multiply by y minus greater than y multiply by x multiply by z
xy->yxz
Similar expressions
(¬xx¬y∨¬x¬xy)(xz∨¬x¬z)(y∨¬y)
¬xyxz
¬(¬(xy)∨(¬x¬y))xz∨xy
x*y+>y*x*z
(¬xy)(xz∨¬x¬z)

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

Expression xy->yx*z

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

⌨