Druk de volgende bewering uit met logische symbolen:

"Het systeem is veilig dan en slechts dan als de firewall niet uitgeschakeld is"

Gebruik:

• S voor "het systeem is veilig"
• D voor "de firewall is uitgeschakeld"
• ↔ voor biconditional (dan en slechts dan als)
• ¬ voor negatie (niet)

Voer je antwoord in met de symbolen die beschikbaar zijn in de calculator.