Esprimi la seguente affermazione usando simboli logici:

"Il sistema è sicuro se e solo se il firewall non è disabilitato"

Usa:

• S per "il sistema è sicuro"
• D per "il firewall è disabilitato"
• ↔ per il bicondizionale (se e solo se)
• ¬ per la negazione (not)

Inserisci la tua risposta usando i simboli disponibili nella calcolatrice.