Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(¬P⇔¬Q)⇒((A⇒B)∧Q)
(P→Q)∧(Q→R)→(P→R)
¯((x↔y)→(x→¬z))∨(x∨¬y&z),
A(B⊕C)⊕BC+A(B⊕C)⊕BC
Identical expressions
¯((x↔y)→(x→¬z))∨(x∨¬y&z),
¯x↔y→x→¬z∨x∨¬y&z,

Mathematical Logic/ ¯((x↔y)→(x→¬z))∨(x∨¬y&z),

Expression ¯((x↔y)→(x→¬z))∨(x∨¬y&z),

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

⌨