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

Разработан метод с трудоемкостью $O(mn)$ ($m$ – длина исходного задания функции перечислением ее единиц (нулей), а $n$ – число аргументов), позволяющий синтезировать плоскую д.н.ф. булевой функции, если она допускает подобную реализацию, и дающий отрицательный ответ в противном случае. Вопрос исследован для случая фиксированного порядка входных аргументов.