In this paper, we study the problem of constructing a special continuation of a Boolean function to the entire space R𝑛, thanks to which, without adding any restrictions, asystem of Boolean equations is transformed into an equivalent system of polynomial equations. As a result of the study, for any Boolean function (𝑥1, 𝑥2, ..., 𝑥𝑛), a corresponding infinitely differentiable rational function (𝑥1, 𝑥2, ..., 𝑥𝑛) is constructed such that𝑓𝑠 (𝑥1, 𝑥2, ..., 𝑥𝑛) ∈ {0, 1} ⇐⇒𝑓𝑠 (𝑥1, 𝑥2, ..., 𝑥𝑛) ∈ {0, 1} ⇐⇒.).)𝑏𝑏1122𝑠𝑠1122{ (𝑥1, 𝑥2, ..., 𝑥𝑛) ∈ {0, 1}𝑛𝑓 (𝑥 , , ..., 𝑥𝑛) = (𝑥 , , ..., (𝑥 , , ..., 𝑥𝑛) = (𝑥 , , ..., 𝑓 (𝑥 , , ..., 𝑥𝑛) = (𝑥 , , ..., (𝑥 , , ..., 𝑥𝑛) = (𝑥 , , ..., Thanks to the constructed function (𝑥1, 𝑥2, ..., 𝑥𝑛), firstly, without adding any restrictions, an arbitrary system of Boolean equations is transformed into an equivalent system of rational equations, and secondly, the solution of the transformed an equivalent system of rational equations is reduced to the problem of numerical minimization of some infinitely differentiable target function, solved by optimization methods, and to an equivalent system of polynomial equations, solved and analyzed by the F4 algorithm.
Read full abstract