1. Белорусский государственный университет Минск
2. Объединенный институт проблем информатики Минск, Сурганова, 6

УДК: 62.519

Реферат:

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