Considere as proposições p e q e a fórmula lógica F = (p v...
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, é: