A lógica de programação correspondente à simplificação do Ladder acima é