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

"Se a bateria estiver carregada, então o telefone liga e funciona corretamente"

Use:

• B para "a bateria estiver carregada"
• O para "o telefone liga"
• W para "o telefone funciona corretamente"
• → para implicação
• ∧ para conjunção (and)

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