Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(~A∨B)∧(A∨~B)
неА^В+неА+неВ+А
¬(р→¬(q∧р))→р∨r
¬(¬b⇒(¬c∧a)∨b)⇒¬a&(cv¬b)
Identical expressions
¬(¬b⇒(¬c∧a)∨b)⇒¬a&(cv¬b)
¬¬b⇒¬c∧a∨b⇒¬a&cv¬b

Mathematical Logic/ ¬(¬b⇒(¬c∧a)∨b)⇒¬a&(cv¬b)

Expression ¬(¬b⇒(¬c∧a)∨b)⇒¬a&(cv¬b)

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

⌨