Логические основы построения цифровых автоматов. Разложение булевых функций по переменным. Специальные случаи разложения – теоремы Шеннона. Примеры.