Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
∼r∨{(r⇔∼q)⇒[(q∧∼p)⇒(r⇒∼p)]}
¬xvyv¬y&zv¬yvz
¬b^avc
¬C¬BDC+CB¬D¬C
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 😉

⌨