Wyrażenie logiczne ma odzwierciedlać dokładnie to, co realizuje program przedstawiony na rysunku: jakie sygnały wejściowe muszą być spełnione, aby na wyjściu (cewce) K1 pojawił się stan 1.
Odpowiedź prawidłowa: K1 = (S1 ∨ S3) ∧ ¬S2 oznacza, że:
- wystarczy, aby aktywny był co najmniej jeden z sygnałów S1 lub S3 (operator OR),
- ale dodatkowo musi być spełniony warunek blokujący: S2 nie może być aktywne (negacja S2),
- całość jest połączona operatorem AND, więc oba warunki muszą zajść jednocześnie.
Dlaczego pozostałe odpowiedzi są błędne?
- K1 = S1 ∨ S3 ∨ ¬S2 – to czysta alternatywa trzech warunków. Oznaczałoby to, że K1 załączy się także wtedy, gdy wystąpi samo ¬S2 (nawet bez S1 i S3). To zmienia sens działania: zamiast "warunku uruchomienia z blokadą" dostajemy "dowolny warunek uruchamia".
- K1 = S1 ∧ S3 ∨ ¬S2 – bez jednoznacznych nawiasów łatwo o złą interpretację priorytetu. Taki zapis sugeruje, że ¬S2 może samodzielnie wymusić K1 (podobnie jak w poprzednim błędzie) albo że logika programu wymaga jednoczesnego S1 i S3, co jest innym wymaganiem niż (S1 lub S3).
- K1 = S1 ∧ (S3 ∨ ¬S2) – to wymusza obecność S1 jako warunku koniecznego. W poprawnej funkcji S1 nie jest warunkiem koniecznym, bo S3 może go zastąpić (S1∨S3). Ta odpowiedź opisuje inną strukturę: "S1 oraz (S3 lub brak S2)".
Wskazówka egzaminacyjna: najpierw zidentyfikuj fragmenty realizujące OR (gałęzie równoległe) i AND (połączenia szeregowe), a negację rozpoznaj jako warunek odwrócony. Dopiero potem zapisz równanie i dopilnuj nawiasów.
