Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
А^(В\/¬В^¬С)
¯((x↔y)→(x→¬z))∨(x∨¬y&z),
¬(x1x2)(x3∨x4)
Bv(A&C)
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 😉

⌨