Expresa el siguiente enunciado usando símbolos lógicos:

"El sistema es seguro si y solo si el cortafuegos no está deshabilitado"

Usa:

• S para "el sistema es seguro"
• D para "el cortafuegos está deshabilitado"
• ↔ para bicondicional (si y solo si)
• ¬ para negación (no)

Ingresa tu respuesta usando los símbolos disponibles en la calculadora.