Раздел алгебры логики, описывающий работу цифровых автоматов, обладающих памятью, называется последовательной логикой.
Основной элемент последовательной логики – триггер. Триггер имеет два выхода: прямой Q и инверсный Q. Число входов зависит от выполняемых функций. По способу записи информации триггеры делятся на асинхронные и синхронизируемые (тактируемые).
1. В асинхронных информация может изменяться в любой момент времени при изменении входных сигналов.
2. В синхронизируемых информация на выходе может меняться только в определённые моменты времени, задаваемые дополнительным синхронизирующим сигналом.