Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
not(AorB)and(CandB)
∼[(∼p⇒q)⇔∼(pv∼q)]
¬(a∧b)v¬b
¬(A∧¬B∧C∧(¬D∨E)∧(¬F∨¬G))
Identical expressions
∼[(∼p⇒q)⇔∼(pv∼q)]
∼[∼p⇒q⇔∼pv∼q]

Mathematical Logic/ ∼[(∼p⇒q)⇔∼(pv∼q)]

Expression ∼[(∼p⇒q)⇔∼(pv∼q)]

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

⌨