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.