La logique séquentielle différencie la capacité à mémoriser des états binaires des logiques combinatoires, avec deux types : asynchrone et synchrone. Elle utilise des bascules pour stocker les états, que ce soit par synchronisation d'horloge ou par mémorisation instantanée. Les applications de ces systèmes incluent des automates, ordinateurs et montres électroniques.