Esprimi la seguente affermazione usando simboli logici:

"Se non fa freddo, allora uscirò"

Usa:

• C per "fa freddo"
• O per "uscirò"
• ¬ per la negazione (not)
• → per l'implicazione

Inserisci la tua risposta usando i simboli disponibili nella calcolatrice.