Un climatitzador automàtic posa en marxa el mode «aire condicionat» si la temperatura interior del vehicle és superior a la temperatura de consigna Tc, sempre que la temperatura de consigna sigui més de 3 °C inferior a la temperatura exterior del vehicle. El sistema també té un sensor que apaga l'aire condicionat si detecta que hi ha alguna finestra oberta. Responeu a les qüestions que hi ha a continuació utilitzant les variables d'estat següents:
temperatura interior: i={1:si Tinterior>Tc0:si Tinterior≤Tc; temperatura exterior: e={1:si Tc≥Texterior−3∘C0:si Tc<Texterior−3∘C;
finestres: f={1:obertes0:tancades; aire condicionat: ac={1:engegat0:apagat