babadzhanov-a 1

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