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
А^(В\/¬В^¬С)
А to the power of (В\ divide by ¬В to the power of ¬С)
А(В\/¬В¬С)
АВ\/¬В¬С
А^В\/¬В^¬С
А^(В\ divide by ¬В^¬С)

Mathematical Logic/ А^(В\/¬В^¬С)

Expression А^(В\/¬В^¬С)

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

⌨