In digital circuit theory, sequential logic is a type of logic circuit whose output depends (at least) on the history of the input. This is in contrast to combinational logic, whose output is a function of only the present input. That is, sequential logic has state (memory) while combinational logic does not. Or, in other words, sequential logic is combinational logic with memory.

Ein Schaltwerk (engl.: sequential circuit) verarbeitet verschiedene Eingangswerte (boolesche Variablen) entsprechend der festgelegten Schaltmatrix zu einem Ausgangswert. Im Gegensatz zu Schaltnetzen, bei welchen definitionsgemäß keine Rückkopplungen vorliegen, ist bei einem Schaltwerk mindestens einer der Ausgänge auf mindestens einen der Eingänge rückgekoppelt, wodurch die Schaltung einen speichernden Charakter (ein Gedächtnis) erhält.

En théorie des circuits électroniques, la logique séquentielle est un type de logique dont les résultats ne dépendent pas seulement des données actuellement traitées mais aussi des données traitées précédemment. Elle s'oppose à la logique combinatoire, dont les résultats sont fonction et seulement fonction des données actuellement traitées. En d'autres termes, la logique séquentielle utilise la notion de mémoire de stockage (bascules, registres, etc) alors que la logique combinatoire n'en a pas.