Выразите следующее утверждение с помощью логических символов:

"Система защищена тогда и только тогда, когда брандмауэр не отключён"

Используйте:

• S для "система защищена"
• D для "брандмауэр отключён"
• ↔ для двусторонней импликации (тогда и только тогда)
• ¬ для отрицания (не)

Введите ваш ответ, используя символы, доступные в калькуляторе.