Expresa el siguiente enunciado usando símbolos lógicos:

"Si la batería está cargada, entonces el teléfono se enciende y funciona correctamente"

Usa:

• B para "la batería está cargada"
• O para "el teléfono se enciende"
• W para "el teléfono funciona correctamente"
• → para implicación
• ∧ para conjunción (and)

Ingresa tu respuesta usando los símbolos disponibles en la calculadora.