Mister Exam

Lang:

Mathematical logic signs and operations

How to use it?
Expression:
~(~(~(~P∧Q)∨~Q)→(~(P∨~Q)))
(A∨B)⇒C
~(p∨~Q)
[(p∨q)∧(p∨￢q)∧(p∨r)]→[(p∨￢q)∧(￢p∨￢q)∧(￢q∨r)]
Identical expressions
[(p∨q)∧(p∨￢q)∧(p∨r)]→[(p∨￢q)∧(￢p∨￢q)∧(￢q∨r)]
[p∨q∧p∨￢q∧p∨r]→[p∨￢q∧￢p∨￢q∧￢q∨r]

Mathematical Logic/ [(p∨q)∧(p∨￢q)∧(p∨r)]→[(p∨￢q)∧(￢p∨￢q)∧(￢q∨r)]

Expression [(p∨q)∧(p∨￢q)∧(p∨r)]→[(p∨￢q)∧(￢p∨￢q)∧(￢q∨r)]

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

⌨