Considere as proposições p e q e a fórmula lógica F = (p v q) ^ (¬p v ¬q).

Essa forma aparece em especificações de sistemas digitais para representar a ideia de "exatamente uma condição verdadeira".

Sem construir tabela-verdade completa no enunciado, avalie o comportamento lógico de F e de sua negação.

Analise as assertivas e classifique como verdadeira (V) ou falsa (F).

(   ) A fórmula F é logicamente equivalente a (p ↔ q).
(   ) A fórmula F é verdadeira em exatamente 2 das 4 valorações possíveis de (p, q).
(   ) Se p e q assumem o mesmo valor lógico, então F é falsa.
(   ) A negação de F é uma tautologia.

A sequência CORRETA, de cima para baixo, é: