Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
неА+АВ
p⇒q∧[(q∧r)⇒(s∨t)]∧u⇒(p∧r)∧¬t
m→((m→n)∧¬(¬n∨¬m))
33
Identical expressions
p⇒q∧[(q∧r)⇒(s∨t)]∧u⇒(p∧r)∧¬t
p⇒q∧[q∧r⇒s∨t]∧u⇒p∧r∧¬t

Mathematical Logic/ p⇒q∧[(q∧r)⇒(s∨t)]∧u⇒(p∧r)∧¬t

Expression p⇒q∧[(q∧r)⇒(s∨t)]∧u⇒(p∧r)∧¬t

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

⌨