Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
неbvcv((avнеb)&c)
не(P)&(не(P)vQvR)
а/(вvc)
А^(В&А)⇒(А&В)
Identical expressions
А^(В&А)⇒(А&В)
А to the power of (В&А)⇒(А&В)
А(В&А)⇒(А&В)
АВ&А⇒А&В
А^В&А⇒А&В

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

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

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

⌨