Об одном алгоритме определения максимума логической функции

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