KWALIFIKACJA ELM6 - CZERWIEC 2015

W języku listy instrukcji IL/STL program wykonuje się linia po linii. Kluczowa jest idea akumulatora (wyniku pośredniego): instrukcja LD ładuje wartość do akumulatora, a kolejne instrukcje logiczne modyfikują ten wynik.

Analiza podanego kodu:

• LD I0.0 – do akumulatora trafia bieżący stan wejścia I0.0.
• XOR I0.1 – akumulator staje się wynikiem I0.0 XOR I0.1. XOR (różnica symetryczna) daje 1 wtedy, gdy dokładnie jedno z dwóch wejść ma stan 1.
• A I0.2 – "A" oznacza logiczne AND z operandem, więc nowy wynik to (I0.0 XOR I0.1) AND I0.2.
• = Q0.0 – wartość z akumulatora zostaje przypisana na wyjście Q0.0.

Dlatego poprawna funkcja logiczna to (I0.0 XOR I0.1) AND I0.2: najpierw powstaje wynik XOR z dwóch pierwszych wejść, a dopiero potem jest on "bramkowany" przez I0.2 (warunek zezwolenia).

Dlaczego pozostałe propozycje są błędne:

• (I0.0 AND I0.1) OR I0.2 wymagałoby najpierw obliczyć AND I0.0 z I0.1, a potem wykonać OR z I0.2. Taki przebieg nie odpowiada sekwencji z XOR i końcowym AND.
• (I0.0 OR I0.1) AND I0.2 myli XOR z OR. OR daje 1 już wtedy, gdy co najmniej jedno wejście jest 1, natomiast w programie użyto XOR, czyli warunku rozłączności.
• I0.0 XOR (I0.1 AND I0.2) ma inne nawiasowanie: najpierw trzeba byłoby policzyć AND I0.1 z I0.2, a dopiero potem XOR z I0.0. W IL/STL oznaczałoby to inną kolejność instrukcji (najpierw praca na I0.1 i I0.2, potem XOR z I0.0).

Wskazówka egzaminacyjna: czytaj IL "od góry do dołu" i po każdej linii zapisz na kartce, co jest aktualnie w akumulatorze. To niemal zawsze prowadzi do jednoznacznej funkcji boolowskiej.