Advertisements
Advertisements
Question
With proper justification, state the negation of the following.
(p ↔ q) v (~ q → ~ r)
Sum
Advertisements
Solution
~[(p ↔ q) v (~ q → ~ r)]
≡ ~(p ↔ q) ˄ (~ q → ~ r) ...[Negation of disjunction]
≡ [(p ˄ ~ q) v (q ∧ ~ p)] ∧ ~(~ q → ~ r) ...[Negation of double implication]
≡ [(p ˄ ~ q) v (q ˄ ~ p)] ˄ [~ q ˄ ~(~ r)] ...[Negation of implication]
≡ [(p ˄ ~ q) v (q ˄ ~ p)] ˄ (~ q ˄ r) ...[Negation of negation]
shaalaa.com
Is there an error in this question or solution?
