Observe a situação 0.

Há saídas que convencionamos chamar de “irrelevantes”, uma vez que não importa qual sinal permanece aceso, então, pode-se omitir o que estiver com o símbolo Ø, e deixar a tabela apenas com os 0 e 1. Então, é possível entender o porquê do sinal 2 permanecer aceso no verde. Veja a tabela verdade abaixo com os valores preenchidos.

Durante a construção das tabelas verdade, tomemos por base a situação 0, com saídas irrelevantes, em que é indiferente qual sinal permanece aceso. Consequentemente, é possível adotar que o verde do sinal 2 (semáforo 2 da rua B) permaneça aceso.

Então, vamos escrever uma tabela verdade com novos valores preenchidos para a situação 0, lembrando que cada saída, G1, R1, G2, R2 terá um circuito independente. Veja, a seguir, como fica.