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.