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 
