О ТАБЛИЧНОМ ЗАДАНИИ СИСТЕМ ПОЛНОСТЬЮ ОПРЕДЕЛЕННЫХ БУЛЕВЫХ ФУНКЦИЙ

Аннотация

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