O programa em Ladder acima representa uma porta lógica.
O programa que representa essa mesma porta é dado pela expressão S =