Tendo por referência o que estudamos até agora, vamos montar uma tabela verdade com cada situação, podemos assim analisar cada situação. Veja na figura abaixo que começamos com a situação O (zero). Vamos lá.

Observando a figura acima, vamos iniciar com a situação 0. Conforme falamos no início, esta situação representa que não há veículos nas ruas (A=0 e B=0). Desta forma, não é importante qual sinal permaneça aceso. Nestas situações, também chamadas de irrelevantes, utiliza-se o símbolo Ø para indicar que as variáveis podem assumir tanto o valor “0” ou o valor “1”.

Observando a situação 1, notamos que a variável B recebeu o valor 1 (B=1). Esta situação representa a presença de veículos na rua B e que não há veículos na Rua A. Então, conforme a regra estabelecida, é preciso acender o sinal verde do semáforo 2 para a rua B. Note, também, que R1 está ligado (1) indicando que o sinal vermelho do semáforo 2 (rua A) está aceso (ligado) na para quem trafega na Rua A. Lembre-se de também observar a figura (Tabela Condição/Notação) para relembrar a dinâmica do tráfego.