Гугл "тривиальный алгоритм минимизации", первая ссылка.
Цитата:
Тривиальный алгоритм минимизации ДНФ состоит в следующем:
1. Выписываем все возможные ДНФ от данного числа переменных n в порядке возрастания их рангов.
2. Последовательно сравниваем нашу функцию с каждой из этих ДНФ. Первая ДНФ, которой равна наша функция имеет минимальный ранг.
Какой-то слишком тривиальный алгоритм
