A home alarm has three sensors (door, window, motion) and two settings (armed, night). The alarm sounds only when the system is armed and either the door or the window sensor is active, or the motion sensor is active during night mode (motion alone must not trigger during the day, when people are home). Inputs: armed, night, door, window, motion. Output: alarm. The testbench applies all 32 combinations.