Warunek sterujący ma postać: Sensor1 AND NOT Sensor2. Oznacza to, że program sprawdza jednoczesne spełnienie dwóch przesłanek:
- Sensor1 musi być w stanie TRUE,
- Sensor2 po zanegowaniu (NOT Sensor2) musi dać TRUE, czyli w praktyce Sensor2 ma być FALSE.
Kluczowym operatorem łączącym te przesłanki jest AND (koniunkcja). Dlatego poprawna odpowiedź to "Operację AND".
Dlaczego pozostałe odpowiedzi są niepoprawne?
- "Operację OR" byłoby właściwe, gdyby wystarczało spełnienie jednego z warunków (np. Sensor1 OR NOT Sensor2). Tutaj muszą być spełnione oba naraz.
- "Operację XOR" oznaczałoby "dokładnie jeden warunek jest prawdziwy". Kod tego nie realizuje, bo wymaga TRUE dla Sensor1 oraz FALSE dla Sensor2 równocześnie.
- "Operację NAND" jest negacją AND całego wyrażenia. W kodzie nie ma negacji całej koniunkcji; negacja dotyczy tylko Sensor2, a nie wyniku (Sensor1 AND Sensor2).
W praktyce taki zapis tworzy prostą logikę blokady (interlock): silnik załącza się tylko, gdy czujnik 1 zezwala, a czujnik 2 nie sygnalizuje stanu zakazu.