Dla którego stanu logicznego czujników C1 , C2, C3 spełniony jest warunek przejścia do następnego kroku (opuszczenie kroku 3)?

Odpowiedź "C1 = 1, C2 = 0, C3 = 1" jest całkowicie w porządku. Spełnia wszystkie wymagania, żeby przejść do następnego etapu w tym schemacie. Można to zapisać jako (C1∨¬C2)∧C3=1. No i wiadomo, żeby to działało, C3 musi być 1, co oznacza, że czujnik C3 jest aktywny. Poza tym, z alternatywy C1∨¬C2 wynika, że przynajmniej jeden z tych dwóch warunków – C1 lub negacja C2 – musi być spełniony. W praktyce oznacza to, że C2 powinno być 0, żeby negacja (¬C2) dawała 1. A żeby to wszystko zadziałało, C1 też musi być 1, co oznacza, że czujnik C1 jest załączony. Takie zasady często są używane w automatyce, gdzie logiczne przełączniki decydują o tym, co dalej robią maszyny. To bardzo przydatne w przemyśle, bo dzięki temu można zapewnić bezpieczne i sprawne działanie procesów produkcyjnych. Widać, jak ważna jest znajomość logiki w programowaniu systemów sterujących.