Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(Q→(¬R∧¬P))→¬((¬R∧¬P)→Q)
∼P⇔(P∧∼P)
аvc&(bva)&b
¬a∧b∨¬a∧c∨¬c
Identical expressions
(Q→(¬R∧¬P))→¬((¬R∧¬P)→Q)
Q→¬R∧¬P→¬¬R∧¬P→Q

Mathematical Logic/ (Q→(¬R∧¬P))→¬((¬R∧¬P)→Q)

Expression (Q→(¬R∧¬P))→¬((¬R∧¬P)→Q)

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

⌨