Considere os conectivos lógicos ∧ (e), ∨ (ou), ↔...

Considere os conectivos lógicos $\wedge$ (e), $\vee$ (ou), $\leftrightarrow$ (bi-condicional) e ~ (não). Assinale a alternativa que preenche corretamente o espaço na fórmula proposicional "~(S $\vee$~T) $\leftrightarrow$ ( _______________ ), de modo que a fórmula seja considerada uma tautologia.