Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(¬P∨Q)
((x⇒z)=|y)↓x
(!X0^!X1^!X2^X3)+(X0^!X1^!X2^X3)
¬z(x+y)
Identical expressions
((x⇒z)=|y)↓x
((x⇒z) equally module of y)↓x
x⇒z=|y↓x
Similar expressions
yx⇒(z+yx)=0
yx⇒(z+yx)
(x⇒y)&(y⇒z)⇒(x⇒z)
(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 😉

⌨