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

Вводится ряд преобразований, инвариантных относительно задач минимизации, позволяющих сократить максимальное возможное количество различных столбцов в матрице нулей произвольной бинарной функции многозначных аргументов, что, в свою очередь, позволяет строить более простые дизъюнктивные нормальные формы. Даны оценки сложности построенных дизъюнктивных нормальных форм для произвольных бинарных функций $k$-значных аргументов. Библ. 3.