Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
((x⇒z)=|y)↓x
¬a&¬b&¬cva&b&cv¬a&b&¬c
¬a&bv¬(avb)*va
yxy(xvy)v((xyvy)⊕(y⊕(xvy)))
Identical expressions
((x⇒z)=|y)↓x
((x⇒z) equally module of y)↓x
x⇒z=|y↓x
Similar expressions
yx⇒(z+yx)
yx⇒(z+yx)=0
yv(x⇒z&y)
(x⇒z)(y⇒z)

Mathematical Logic/ ((x⇒z)=|y)↓x

Expression ((x⇒z)=|y)↓x

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

⌨