Considere os conectivos lógicos (e), v (ou), ↔ (bi-condicional) e ~ (não). Assinale a alternativa que preenche corretamente o espaço na fórmula proposicional "~ (S v~T) ↔ (_______)", de modo que a fórmula seja considerada uma tautologia.
A
S ∨ T
B
S ∧ ~T
C
~S ∨ T
D
~S ∧ T
E
~S ∧ ~T