Anvar Kabulov

Effective methods for solving systems of nonlinear equations of the algebra of logic based on disjunctions of complex conjunctions

2022

In order to simplify logical statements and reduce the time for solving systems of non-linear Boolean equations, a criterion for the absorption of complex conjunctions by a first-order neighborhood of conjunctions of statements of a …