Эффективные алгоритмы построения графа общего решения для систем булевых уравнений

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