Непарадоксальное логическое следование и проблема решения МЛ-уравнений

Рассматривается $\#P$-полная задача вычиcления всех выполняющих подстановок для логического уравнения $F(x_1, x_2,\ldots , x_n)=1$. Предлагается новый способ ее решения за счет приведения к задаче вычисления такого множества $U$, что $U = F(X_1, X_2,\ldots, X_n)$. Здесь $F(X_1, X_2,\ldots, X_n)$ — формула алгебры множеств, изоморфная $F(x_1, x_2,\ldots , x_n)$, и $X_n$ — заранее известные множества. Переменные $x_n$ в логическом уравнении являются характеристическими функциями для множеств $X_n$ из второго равенства, которое названо МЛ-уравнением.