O documento descreve um circuito lógico para controlar semáforos em um cruzamento de duas ruas. Uma tabela verdade é construída para analisar quando cada semáforo deve ficar verde ou vermelho dependendo da presença de carros nas ruas. Expressões lógicas são derivadas para cada semáforo usando portas AND e OR. O circuito usa as mesmas expressões para os semáforos 1 e 2, alternando entre verde e vermelho.