Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
А^(В&А)⇒(А&В)
¬x∧y∧z∧(y∧z∨¬y∧¬z)
¬(x2x1⊕x3+¬x1⊕x3x1)⊕(x2+¬x1)
¬(x1*x2*x3∨x4)∨x1*x2*x3∨x4∨¬(x1*x2*x3∨x4)
Identical expressions
А^(В&А)⇒(А&В)
А to the power of (В&А)⇒(А&В)
А(В&А)⇒(А&В)
АВ&А⇒А&В
А^В&А⇒А&В

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

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

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

⌨