Saymanov I 1

1. Algorithms for Solving Systems of Boolean Equations Based on the Transformation of Logical Expressions
2. On the Completeness of Classes of Correcting Functions of Heuristic Algorithms
3. Synthesis of Optimal Correction Functions in the Class of Disjunctive Normal Forms
1