Expresse a seguinte afirmação usando símbolos lógicos:

"Não é verdade que a loja não está aberta"

Use:

• S para "a loja está aberta"
• ¬ para negação (não)

Digite sua resposta usando os símbolos disponíveis na calculadora.