ТЕХНОЛОГИИ РАЗРАБОТКИ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ РАЗРАБОТКА СЛОЖНЫХ ПРОГРАММНЫХ СИСТЕМ Допущено Министерством образования Российской Федерации в качестве учебного пособия для студентов высших учебных заведений, обучающихся по направлению подготовки бакалавров и магистров «Информатика и вычислительная техника»
Для формального опису цифрових автоматів використовується апарат алгебри логіки. Логічною (булевою) змінною називається величина, яка може приймати тільки два значення 0 і 1.
Найпростішими з послідовнісних цифрових вузлів є тригери – логічні схеми, які можуть знаходитись у одному з двох стійких станів і стрибком переходити в інший стан під впливом зовнішніх сигналів (через це інколи тригер називають бістабільним елементом).