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

Abstract

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