Considere os conectivos lógicos ∧ (e), ∨ (ou), <-> (bi-condicional) e ~ (não). Assinale a alternativa que preenche corretamente o espaço na fórmula proposicional " ~ (S ∨ ~ T) <-> ( ______ )”, de modo que a fórmula seja considerada uma tautologia.
Você errou!  
Resposta:
Acesse Comentários para encontrar explicações sobre a solução da questão.
Parabéns! Você acertou!
Aprenda mais ensinando outros alunos ao comentar esta questão.