Solution of logical equations by the method of variable detection

Logical equations of the form $F(x_1,\dots,x_{k_0})=1$ are to be solved with a significant number of arguments of the function $F$. The method is essentially decomposition of the initial problem into subproblems with a smaller amount of data to be processed. An example is given.