0:00
BeginnerPropositional LogicExpression Input

Express the following statement using logical symbols:

"The system is secure if and only if the firewall is not disabled"

Use:

  • S for "the system is secure"
  • D for "the firewall is disabled"
  • for biconditional (if and only if)
  • ¬ for negation (not)

Enter your answer using the symbols available in the calculator.