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.