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.

Assinale a alternativa que apresenta corretamente a negação lógica para a frase: “Todos gostam de lazer, mas ninguém gosta de gastar”.