W GRAFCET/SFC przejście (tranzycja) między krokami następuje dopiero wtedy, gdy spełniony jest warunek tranzycji. Dla kroku 3 warunek wyjściowy ma postać: C1 & C2 = 1.
Symbol "&" oznacza operator logiczny AND (koniunkcję). Z własności algebry Boole’a wynika, że wynik AND jest równy 1 tylko wtedy, gdy wszystkie argumenty mają wartość 1. Innymi słowy, pojedynczy sygnał w stanie 1 nie wystarczy — wymagane jest jednoczesne potwierdzenie z obu czujników.
Dlatego odpowiedź "C1 = 1, C2 = 1" jest poprawna, bo tylko wtedy wyrażenie C1 & C2 ma wartość 1, a więc spełnia zapis "= 1" i pozwala opuścić krok 3.
Pozostałe kombinacje są niepoprawne z konkretnego powodu:
- "C1 = 1, C2 = 0" daje wynik AND równy 0, więc warunek nie jest spełniony.
- "C1 = 0, C2 = 1" również daje 0, bo jeden z argumentów jest 0.
- "C1 = 0, C2 = 0" daje 0 w sposób oczywisty.
W praktyce mechatronicznej taki warunek bywa stosowany dla bezpieczeństwa i pewności procesu: np. dwie krańcówki, dwa czujniki położenia albo czujnik i potwierdzenie osłony. Jeśli sekwencja "stoi" na kroku 3, diagnostyka polega często na sprawdzeniu, który z sygnałów C1/C2 nie osiąga stanu 1 (okablowanie, ustawienie czujnika, uszkodzenie wejścia PLC, brak zasilania 24 V DC).
