Give the contrapositive of this implication:
(pvvq)->(p(())r)
In your expression, you should not be negating complex
expressions -- the negation symbol should only appear before a
variable.