Assignment: Home Security System
The objective of this assignment is to use propositional logic to model and query a basic security system for a home. The home is equipped with various sensors and alarms, and the system should be capable of answering queries about the home's state.