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