O enunciado a seguir refere-se a questão.
Sejam p e q proposições e ~p e ~q, respectivamente, as suas negações. Os conectivos e e ou são representados, respectivamente, por \( ∧ \) e \( ∨ \). A implicação é representada por .
A negação de (p → q) \( ∧ \) (q → p) é