METHODS FOR SOLVING SYSTEMS OF BOOLEAN EQUATIONS

To minimize logical formulas when solving systems of Boolean equations, a method is proposed for transforming formulas from the Zhegalkin polynomial into a disjunctive normal form. An algorithm for simplifying logical functions in the class of disjunctive normal forms is given. A method for multiplying logical expressions in the class of disjunctive normal forms is proposed. As a result, the logical formulas are reduced to the product of the formulations of the Boolean equations of the system, from which the solutions of the system of Boolean equations are obtained