O programa em linguagem LADDER da figura é equivalente a