Вводятся основные понятия теории множеств и отношений, излагаются основы теории графов, абстрактной булевой алгебры с различными интерпретациями. Рассматриваются задачи комбинаторной оптимизации, возникающие при логическом проектировании цифровых устройств. Рассматриваются различные методы минимизации булевых функций и их систем, а также методы декомпозиции булевых функций. Затрагиваются вопросы реализации булевых функций. Излагаются методы логического проектирования, использующие модель конечного автомата в его синхронной и асинхронной реализации. Материал, изложенный в книге, построен на основе лекций, читаемых автором на протяжении ряда лет студентам Белорусского государственного университета информатики и радиоэлектроники. Книга предназначена для студетов и аспирантов, специализирующихся в области проектирования цифровых устройств. Это и многое другое вы найдете в книге Основы теории проектирования цифровых устройств (Юрий Поттосин)