Uttryck följande påstående med logiska symboler:

"Om batteriet är laddat, då startar telefonen och fungerar korrekt"

Använd:

• B för "batteriet är laddat"
• O för "telefonen startar"
• W för "telefonen fungerar korrekt"
• → för implikation
• ∧ för konjunktion (and)

Skriv in ditt svar med hjälp av symbolerna som finns tillgängliga i kalkylatorn.