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

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

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