O circuito lógico acima pode ser simplificado e descrito pelo seguinte programa em Ladder: