Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(xvy)(y->z)(z<->x)
((x→y)∧(y→w))∨(z≡(x∨y))
АВС+(ВС+А),не(А+В+С)
¬X1∧X2≡(X1⊕X2)
Identical expressions
((x→y)∧(y→w))∨(z≡(x∨y))
x→y∧y→w∨z≡x∨y

Mathematical Logic/ ((x→y)∧(y→w))∨(z≡(x∨y))

Expression ((x→y)∧(y→w))∨(z≡(x∨y))

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

⌨