KWALIFIKACJA ELM6 - STYCZEŃ 2022 (test 2)

W zadaniach tego typu należy przełożyć strukturę programu (np. połączenia równoległe i szeregowe styków oraz styki normalnie zamknięte) na zapis algebry Boole'a.

Znaczenie operatorów:

• ˅ oznacza alternatywę (OR): wystarczy, że prawdziwe jest S1 albo S3.
• ˄ oznacza koniunkcję (AND): muszą być spełnione warunki po obu stronach.
• Negacja (kreska nad S2) oznacza, że warunek jest spełniony, gdy S2 ma stan 0 (fałsz).

Poprawny zapis K1 = (S1 ˅ S3) ˄ S̅2 mówi więc: K1 załączy się, gdy co najmniej jeden z sygnałów S1 lub S3 jest aktywny, a jednocześnie sygnał S2 jest nieaktywny (zanegowany warunek).

Dlaczego pozostałe zapisy są niepoprawne?

• Zapis typu S1 ˅ S3 ˅ S̅2 oznaczałby, że sama nieaktywność S2 mogłaby uruchomić K1 bez S1 i S3. To zmienia sens układu: z warunku "zezwolenia" robi warunek alternatywny.
• Zapis S1 ˄ S3 ˅ S̅2 jest mylący bez jednoznacznych nawiasów i zwykle prowadzi do błędnej kolejności działań (często błędnie odczytywany jako "S1 i S3" albo "nie S2"). To inna logika niż "S1 lub S3" połączone AND z "nie S2".
• Zapis S1 ˄ (S3 ˅ S̅2) wymuszałby konieczność spełnienia S1 zawsze, co nie odpowiada sytuacji, w której dopuszczalne jest załączenie K1 również przy samym S3 (przy spełnionym warunku negacji S2).

Wskazówka egzaminacyjna: najpierw identyfikuj gałęzie równoległe (to zwykle OR), potem połączenia szeregowe (to zwykle AND), a na końcu sprawdzaj, czy występuje negacja (warunek typu NC / NOT).