梯形邏輯

梯形邏輯（英語：Ladder logic）是指一種通過基於繼電器邏輯電路圖的圖形來代表程序的一種程式語言。它主要在工業控制應用中被用於開發可程式邏輯控制器（Programmable Logic Controllers, PLCs）的軟體。「梯形邏輯」的命名主要是基於這種語言的程序看起來像一個一級一級的梯子：具有兩條是指邊和其間的一系列水平的梯級。

以梯形邏輯編寫可程式邏輯控制器時，不可以有2個以上相同的輸出指令（例如某個指示燈由PLC的Y1接點輸出，不能出現2個以上的OUT Y1指令，否則會因為PLC的程式掃描機制，只有最後的OUT Y1才能正確執行），因此在編寫時必須考慮到所有輸出指令的條件，經常會使程式變得複雜且不易除錯，所以梯形邏輯通常只用於固定動作的輸出（例如電源指示燈或電磁接觸器的動作指示燈等）。