Úkolem je návrh ovládání pro ohřívač ovzduší, který je vybaven dvěma senzory teploty. První indikuje logickou jedničku, pokud teplota je vyšší než 15°C a logickou nulu pokud teplota je nižší než 15°C. Druhý senzor funguje podobně, ale mění stav při teplotě 25°C. Ohřívač se automaticky zapíná, pokud teplota klesne pod a vypíná, pokud je dosažená teplota 25°C.

Vstupní proměnné:
T1 = <0, teplota <15°C nebo 1, teplota >15°C
T 2 = <0, teplota < 25°C nebo 1, teplota > 25°C

Výstup obvodu:
Y = <0, vypnuto − signál T2 nebo 1, zapnuto − signál T1

Pokud teplota je nižší než 15°C, oba senzory indikují logickou nulu a ohřívač se zapne, pokud je větší než 25°C , oba indikují logickou jedničku a ohřívač se vypne. Zajímavá situace nastává, pokud teplota je z rozsahu (15, 25). Pro danou konkrétní teplotu z tohoto rozsahu může být ohřívač vypnutý nebo zapnutý, tudíž nelze hovořit o funkčním přiřazení výstupu konkrétním kombinacím vstupů. Pokud v předchozím kroku byl ohřívač zapnut, budeme pokračovat v ohřevu, až bude dosažena teplota 25°C. Pokud je ovšem vypnutý, nebudeme ho zapínat a počkáme na teplotu 15°C.

Pro vstupní kombinaci “10” jsou možné dva výstupy.

Tato informace o chování ohřívače v předchozích krocích vyžaduje zavedení zpětné vazby z výstupů. Historické výstupní hodnoty budou sloužit jako vstupní proměnná, která umožní rozlišit kolizní kombinace vstupů.