babadjanov-a 1
1.
Algorithms for Solving Systems of Boolean Equations Based on the Transformation of Logical Expressions
1