A figura acima mostra o diagrama ladder para um controlador lógico programável (CLP) genérico, em que {} são as variáveis de entrada e é a variável de saída — essas variáveis podem assumir os valores lógicos verdadeiro e falso.
A saída na bobina, , estará ativa — isto é, assumirá o valor lógico verdadeiro — se