Drücken Sie die folgende Aussage mithilfe logischer Symbole aus:

"Das System ist sicher genau dann, wenn die Firewall nicht deaktiviert ist"

Verwenden Sie:

• S für "das System ist sicher"
• D für "die Firewall ist deaktiviert"
• ↔ für Bikonditional (genau dann, wenn)
• ¬ für Negation (nicht)

Geben Sie Ihre Antwort mit den im Rechner verfügbaren Symbolen ein.