En un local hi ha una alarma que sona quan es tanca la porta amb clau si la finestra, el llum o ambdós elements queden oberts. Utilitzant les variables d'estat:

• porta p = 1 tancada, 0 oberta
• finestra f = 1 tancada, 0 oberta
• llum l = 1 apagat, 0 encès
• alarma a = 1 sona, 0 no sona