Uttrykk følgende utsagn ved hjelp av logiske symboler:

"Systemet er sikkert hvis og bare hvis brannmuren ikke er deaktivert"

Bruk:

• S for "systemet er sikkert"
• D for "brannmuren er deaktivert"
• ↔ for bikondisjonal (hvis og bare hvis)
• ! for negasjon (ikke)

Skriv inn svaret ditt ved hjelp av symbolene som er tilgjengelige i kalkulatoren.