Esprimi la seguente affermazione usando simboli logici:

"Se la batteria è carica, allora il telefono si accende e funziona correttamente"

Usa:

• B per "la batteria è carica"
• O per "il telefono si accende"
• W per "il telefono funziona correttamente"
• → per l'implicazione
• ∧ per la congiunzione (and)

Inserisci la tua risposta usando i simboli disponibili nella calcolatrice.