A figura abaixo representa um trecho de programa genérico em LADDER.



A lógica de acionamento de Y3 é