Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
А^(В&А)⇒(А&В)
¬((a∨b)(a∨c)(¬b∨c∨d)(a∨¬c∨d)(¬a∨¬c∨¬d)(b∨¬d))
yy
xy∨¬zy
Identical expressions
А^(В&А)⇒(А&В)
А to the power of (В&А)⇒(А&В)
А(В&А)⇒(А&В)
АВ&А⇒А&В
А^В&А⇒А&В

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

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

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

⌨