The negation of (p q) (p q) is

Step-by-step solution

The negation of the implication S = (p q) (p q) is S (p q) (p q) . Applying De Morgan's law, (p q) p ( q) p q , so S (p q) ( p q) . Rearranging terms using associativity and commutativity gives (p p) ( q q) . Both p p and q q are contradictions, equivalent to F , making S F F F . Since the negation of S is always false, S itself is always true—a tautology. However, the question asks for the nature of S , which is a contradiction, matching option C .