The contrapositive of the statement pattern [p (p q)] (p q) is

Step-by-step solution

Let the given statement be X Y , where X = p (p q) and Y = p q . The contrapositive of X Y is Y X . First, we find Y : Y = (p q) = p q Next, we find X : X = [p (p q)] Using De Morgan's Law, we get: X = p (p q) Since p q p q , its negation is (p q) p q . Substituting this back, we get: X = p (p q) Therefore, the contrapositive Y X is: ( p q) [ p (p q)]