Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
(S∨P)
(x1∨x2)∧((x3∧x4)→(x1∧x2))=0
(c∧d)⇒(∼a∨b)(c∧d)⇒(∼a∨b)
~(pvq)v(~p∧q)
Identical expressions
(c∧d)⇒(∼a∨b)(c∧d)⇒(∼a∨b)
c∧d⇒∼a∨bc∧d⇒∼a∨b

Mathematical Logic/ (c∧d)⇒(∼a∨b)(c∧d)⇒(∼a∨b)

Expression (c∧d)⇒(∼a∨b)(c∧d)⇒(∼a∨b)

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

⌨