Questão
ID 1934321Disciplina: Raciocínio Lógico
Assunto: Tautologia
Ano: 2016 Banca: FUNDATEC - Fundação Universidade Empresa de Tecnologia e Ciências Órgão: Universidade Federal do Pampa
Legenda para os símbolos lógicos:
+
∨ Representa a disjunção inclusiva.
∧ Representa a conjunção.
~ Representa a negação.
→ Representa o condicional.
↔ Representa o bicondicional.
O resultado da tabela-verdade da fórmula (~(~p → q) ↔p∧(~q∨p)) é classificada como: