次の文を論理記号を用いて表現してください:

「システムが安全であるのは、ファイアウォールが無効でないときに限る」

使用する記号:

• S : 「システムが安全である」
• D : 「ファイアウォールが無効である」
• ↔ : 双条件(if and only if)
• ¬ : 否定(not)

計算機で利用可能な記号を使って答えを入力してください。