Es vol dissenyar el circuit que controla l'alarma interior d'avís d'un cotxe. Aquesta alarma ha de sonar quan el cotxe sobrepassa els 20 km/h i es compleix alguna de les condicions següents: que el conductor no porta el cinturó de seguretat cordat o que porta els llums de curt abast apagats quan és fosc. Utilitzant les variables d'estat següents:
velocitat del cotxe: v = { 1: superior a 20 km/h; 0: igual o inferior a 20 km/h };
cinturó de seguretat: c = { 1: cordat; 0: descordat };
llums quan és fosc: l = { 1: encesos; 0: apagats };
alarma: a = { 1: sona; 0: no sona }