The contrapositive of p→ (~p∧q) is
The logically equivalent proposition of p⇔q is
The negation of the compound statement p ∨(∼p ∨ q) is ___.