Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
В→С/\¬А
А^(В&А)⇒(А&В)
¬x∨x∧z∨¬(x∧y)∨x∧y
¬xvyzn
Identical expressions
А^(В&А)⇒(А&В)
А to the power of (В&А)⇒(А&В)
А(В&А)⇒(А&В)
АВ&А⇒А&В
А^В&А⇒А&В

Mathematical Logic/ А^(В&А)⇒(А&В)

Expression А^(В&А)⇒(А&В)

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

⌨