在数字电路理論中,时序逻辑电路是指电路任何时刻的稳态输出不仅取决于当前的输入,还与前一时刻输入形成的状态有关。這跟組合邏輯電路相反,組合邏輯的輸出只會跟目前的輸入成一種函數關係。換句話說,时序邏輯擁有儲存元件(記憶體)来存储信息,而組合邏輯則没有。
從时序邏輯電路中,可以建出兩種形式的有限狀態機:
- 摩尔型有限状态机:輸出只跟內部的狀態有關。(因為內部的狀態只會在時脈觸發邊緣的時候改變,輸出的值只會在時脈邊緣有改變)
- 米利型有限状态机:輸出不只跟目前內部狀態有關,也跟現在的輸入有關係。
时序邏輯因此被用來建構某些形式的電腦的記憶體,延遲跟儲存單元,以及有限状态自动机。大部分現實的電腦電路都是混用組合邏輯跟时序邏輯。