Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
¬(¬Q⇒¬P)
А+неВ+(неА×В)
¯((x↔y)→(x→¬z))∨(x∨¬y&z),
¬¬((¬x)∨(y∧z)∨((¬y)∧(¬z)))
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 😉

⌨