Considere as proposições p, q e r associadas a três condições de um protocolo lógico. Analise as assertivas e registre V, para verdadeiro, e F, para falso.

(   ) Se p = V, q = F e r = V, então (p ^ ¬q) → r assume valor verdadeiro.
(   ) A proposição (p → q) v (q → p) é uma tautologia.
(   ) A proposição (p v q) ^ (¬p v ¬q) é verdadeira exatamente quando p e q possuem o mesmo valor lógico.
(   ) A proposição [(p → q) ^ p] ^ ¬q é uma contradição.
(   ) A proposição (p → r) v (q → r) é logicamente equivalente a (p v q) → r.


Assinale a alternativa que apresenta a sequência CORRETA dos itens acima, de cima para baixo.