Um shopping center possui vários andares de garagem. Entre dois andares consecutivos, existem rampas estreitas e semicirculares interligando-os. Essas rampas somente permitem a passagem de um único carro por vez, esteja o carro subindo ou descendo. Para evitar que dois carros se encontrem no meio da rampa, fazendo com que um deles tenha que voltar de ré, a administração do shopping instalou ao longo de cada rampa quatro sensores (S₁, S₂, S₃ e S₄) que monitoram a presença de veículos. Cada um dos sensores cobre um quarto do comprimento da rampa, sem superposição.
A fim de evitar acidentes, seria necessário que um segundo carro somente ingressasse na rampa quando o anterior já tivesse saído
Assim, os sensores serão utilizados para acionar um alarme sonoro, caso dois ou mais carros entrem na rampa simultaneamente. Nesse caso, dentre as opções abaixo, a lógica de acionamento do alarme, em função dos sinais dos sensores, será:
