On a method to construct special type corollaries for systems of Boolean equations

We describe an approach to solve systems of Boolean equations by means of bijunctive implicents. We suggest a basic algorithm to find such implicents and discuss the question on the uniqueness of feasibility of the constructed system.