Na lógica proposicional, uma tautologia é uma fórmula proposicional que é verdadeira para todas as possíveis valorações de suas variáveis. Nesse sentido, considerando p e q duas proposições quaisquer, assinale a alternativa que representa, logicamente, uma tautologia: a. ~p ^ b. (p ^ q) → (p v q) c. p v q d. ~p ^ p e. (p v q) → (p ^ q) f. q