SINAL = (trocaamar -> amarelo -> trocaverm -> verm -> trocaamar -> amarelo -> trocaverde -> verde -> SINAL).

||SIST = (SINAL /{troca1/trocaverm,troca2/trocaverde} || 
          SINAL /{troca1/trocaverm,troca2/trocaverde,verde2/verm,verm2/verde}).