Zwrot "będzie świecić tylko, gdy naciśnięty będzie dokładnie jeden przycisk" opisuje bardzo konkretny warunek logiczny: stan wyjścia (H1) ma być aktywny wtedy i tylko wtedy, gdy aktywne jest jedno z dwóch wejść (S1 lub S2), ale nie oba naraz. W logice dwuwartościowej odpowiada to funkcji nazywanej alternatywą rozłączną (często omawianej jako "jeden z dwóch").
Można to rozpisać jako dwa dopuszczalne przypadki, w których H1 ma świecić:
- wciśnięty jest S1, a S2 nie jest wciśnięty,
- wciśnięty jest S2, a S1 nie jest wciśnięty.
Odpowiedź "naciśnięty będzie dokładnie jeden przycisk." jest więc poprawna, bo obejmuje oba powyższe przypadki i jednocześnie wyklucza sytuacje niepożądane.
Dlaczego pozostałe odpowiedzi są błędne?
- "naciśnięty będzie wyłącznie przycisk S2." – to warunek zbyt wąski. Opisuje tylko jeden z dwóch stanów spełniających "dokładnie jeden". Pomija przypadek, gdy świecenie powinno wystąpić także przy wciśnięciu wyłącznie S1.
- "naciśnięty będzie wyłącznie przycisk S1." – analogicznie, opisuje tylko połowę poprawnej logiki (tylko jedną kombinację wejść).
- "będą jednocześnie naciśnięte oba przyciski." – to zaprzeczenie warunku "dokładnie jeden". Wciśnięcie obu oznacza, że aktywne są dwa sygnały naraz, co zwykle gasi sygnalizację "jednego aktywnego wejścia".
W praktyce mechatronicznej taki warunek spotyka się w układach, gdzie sygnał ma informować o niesymetrycznym stanie wejść (np. test przycisków, diagnostyka, kontrola poprawności sekwencji). Warto w zadaniach egzaminacyjnych tłumaczyć sobie słownie: "świeci, jeśli jest wciśnięty jeden, ale nie oba" i dopiero potem porównywać z odpowiedziami.