A Figura abaixo apresenta um diagrama de contatos usando a linguagem Ladder.
 

A função lógica booleana que produz a variável Y é: