Exprimez l'énoncé suivant en utilisant des symboles logiques :

« Le système est sécurisé si et seulement si le pare-feu n'est pas désactivé »

Utilisez :

• S pour « le système est sécurisé »
• D pour « le pare-feu est désactivé »
• ↔ pour le biconditionnel (si et seulement si)
• ¬ pour la négation (non)

Entrez votre réponse en utilisant les symboles disponibles dans la calculatrice.