Contrapositive of x⟶y is ∼y⟶∼x negation of (p∨∼q) is (∼p∧q) and the negation of (p∧∼q) is (∼p∨q) So, we have contrapositive of (p∨∼q)⟶(p∧∼q)=(∼p∧q)⟶(∼p∨q) Now, negation of contrapositive statement is (∼p∨q)∧(p∨∼q)