Сравнение двух алгоритмов упрощения дизъюнктивных нормальных форм

Сравнивается действие двух классов локальных алгоритмов упрощения дизъюнктивных нормальных форм (ДНФ) на сокращенные ДНФ булевых функций, зависящих от небольшого числа переменных. Доказывается, что при числе переменных не менее 7 существуют функции, сокращенные ДНФ которых по-разному упрощаются алгоритмами из разных классов, а сокращенную ДНФ любой функции, зависящей не более чем от 6 переменных, алгоритмы из этих классов упрощают одинаково.