Eduprobe
Question:
The proposition ¬(p∨¬q)∨¬(p∨q) is logically equivalent to :
¬q
¬p
p
q
Solution:
¬(p∨¬q)∨¬(p∨q)=(¬p∧q)∨(¬p∧¬q) (by Demorgan law)=¬p∧(q∨¬q) (by Distributive property)=¬p
¬q
¬p
p
q
¬(p∨¬q)∨¬(p∨q)=(¬p∧q)∨(¬p∧¬q) (by Demorgan law)=¬p∧(q∨¬q) (by Distributive property)=¬p