Секвенциальная логіка - це логіка пам'яті цифрових пристроїв. Назва «секвенциальная» походить від англ. sequential. Відповідна логіка може називатися також як послідовних. хоча останній термін переважно вживається в зв'язку з логічними автоматами.
Секвенциальная логіка відрізняється від комбінаційної логіки тим, що моделює цифрові пристрої з урахуванням передісторії їх функціонування (тобто передбачається наявність пам'яті. Яка в комбінаційної логікою не передбачена).
Секвенциальная логіка є розділом дискретної математики. Вона розвивається в рамках теорії цифрових схем в тісному зв'язку з комбінаційної логікою. булевої алгеброю і кінцевими автоматами. Залежно від регламенту функціонування цифрові пристрої підрозділяються на синхронні і асинхронні. Відповідно їх поведінку підпорядковується або синхронної, або асинхронної логіки.
Синхронна секвенциальная логіка
При логічному моделюванні пристроїв з пам'яттю особлива роль відводиться фактору часу, який в синхронних схемах природним чином враховується тактами кінцевого автомата. Такти визначають моменти зміни станів автомата, тобто, синхронізують відповідну функцію.
Асинхронна секвенциальная логіка
Асинхронна секвенциальная логіка для вираження ефекту запам'ятовування використовує моменти зміни станів, які задаються не в явному вигляді, а виходячи з зіставлення логічних величин за принципом «раніше-пізніше». Для асинхронної логіки досить встановити черговість зміни станів безвідносно будь-яких прив'язок до реального або віртуального часу. Теоретичний апарат секвенціальной логіки складають математичні інструменти секвенції і вен'юнкціі, а також логіко-алгебраїчні рівняння на їх основі.
Цей термін має також інші значення див. Секвенция.
Секвенция (лат. Sequentia - послідовність) - це послідовність пропозіціональних елементів, яка надається
За допомогою секвенції реалізується двоичная функція z = φ (⟨x⟩). така, що z = 1 має місце тільки в разі
Секвенциальная функція звертається в одиницю при одиничних значеннях аргументів, установка яких здійснюється по черзі,
Вен'юнкція
Вен'юнкція - це асиметрична логіко-динамічна операція ∠. згідно з якою зв'язка x ∠ y приймає одиничне значення тільки в разі x ∧ y = 1 за умови, що в момент встановлення x = 1 рівність y = 1 вже мало місце.
Істинність вен'юнкціі обумовлена перемиканням x = 0/1 на тлі y = 1.
Логічна невизначеність виражається за допомогою вен'юнкціі: 1 ∠ 1.
Вен'юнкція і мінімальна (двохелементна) секвенция функціонально ідентичні: x ∠ y = ⟨y x⟩.
Реалізація
Вен'юнктор є основним операційним елементом пам'яті секвенціальной логіки. Він реалізується на підставі рівності
Секвентор будується на основі композиції із сполучених певним чином вен'юнкторов. Наприклад, для реалізації