在數碼電路理論中,序向邏輯電路是指電路任何時刻的穩態輸出不僅取決於當前的輸入,還與前一時刻輸入形成的狀態有關。這跟組合邏輯電路相反,組合邏輯的輸出只會跟目前的輸入成一種函數關係。換句話說,時序邏輯擁有儲存元件(記憶體)來存儲信息,而組合邏輯則沒有。
從時序邏輯電路中,可以建出兩種形式的有限狀態機:
- 摩爾型有限狀態機:輸出只跟內部的狀態有關。(因為內部的狀態只會在時脈觸發邊緣的時候改變,輸出的值只會在時脈邊緣有改變)
- 米利型有限狀態機:輸出不只跟目前內部狀態有關,也跟現在的輸入有關係。
時序邏輯因此被用來建構某些形式的電腦的記憶體,延遲跟儲存單元,以及有限狀態自動機。大部分現實的電腦電路都是混用組合邏輯跟時序邏輯。