Trạng thái ban đầu (Hình 1):
- Đèn 1 sáng ⇒ A và C khác trạng thái.
- Đèn 2 tắt ⇒ A và B cùng trạng thái.
- Đèn 3 tắt ⇒ C = OFF.
- Đèn 4 sáng ⇒ B = ON.
→ Suy ra: A = ON, B = ON, C = OFF.
Giả thuyết công tắc kẹt:
- Nếu A kẹt:
- Nhấn A (vẫn ON), bật B (ON→OFF), bật C (OFF→ON) ⇒ (A=ON, B=OFF, C=ON).
- Kết quả: chỉ đèn 2 & 3 sáng → khớp Hình 2.
- Nếu B kẹt:
- Nhấn A (ON→OFF), B (vẫn ON), C (OFF→ON) ⇒ (A=OFF, B=ON, C=ON).
- Kết quả: đèn 1 & 4 sáng → không khớp.
- Nếu C kẹt:
- Nhấn A (ON→OFF), B (ON→OFF), C (vẫn OFF) ⇒ (A=OFF, B=OFF, C=OFF).
- Kết quả: không đèn nào sáng → không khớp.
Kết luận:
Chỉ khi A kẹt mới tái tạo đúng trạng thái Hình 2.
⇒ Công tắc A bị hỏng.