Решение логических уравнений методом выделения переменных

Рассматривается задача решения логических уравнений вида $F(x_1,~\ldots,~x_{k_0})~=~1$ при значительном числе аргументов функции $F$. Суть предлагаемого метода состоит в декомпозиции исходной задачи на некоторое число подзадач с меньшим объемом преобразуемой информации. Применение метода иллюстрируется примером.