Табличные методы декомпозиции систем полностью определенных булевых функций

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