Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(P∧Q)∨¬((P∨Q)→(P∧Q))∨(P∨Q)
¬(P⇔Q)
~(~(~A∨B→A))∨B
∼r∨{(r⇔∼q)⇒[(q∧∼p)⇒(r⇒∼p)]}
Identical expressions
∼r∨{(r⇔∼q)⇒[(q∧∼p)⇒(r⇒∼p)]}
∼r∨{r⇔∼q⇒[q∧∼p⇒r⇒∼p]}

Mathematical Logic/ ∼r∨{(r⇔∼q)⇒[(q∧∼p)⇒(r⇒∼p)]}

Expression ∼r∨{(r⇔∼q)⇒[(q∧∼p)⇒(r⇒∼p)]}

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

⌨