Uttryck följande påstående med logiska symboler:

"Systemet är säkert om och endast om brandväggen inte är inaktiverad"

Använd:

• S för "systemet är säkert"
• D för "brandväggen är inaktiverad"
• ↔ för bikonditional (om och endast om)
• ! för negation (inte)

Ange ditt svar med de symboler som finns tillgängliga i kalkylatorn.