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.