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