Solution of Boolean equations (Q1974998)

The authors present a few well-known properties of Boolean equations and give credit for them to Boole, Jevons, Poretski and Schröder. The last section presents ``the principles of the constructive implementation (of Boolean algebra) on a computer, making it possible in particular to automate the solution of systems of Boolean equations.'' However it is not clear whether the authors have actually performed such an implementation. Reviewer's remark: The authors' belief that the theory of Boolean equations ``is nowadays forgotten'' is completely wrong. There are numerous papers dealing with Boolean equations and their applications and in particular with computer solution of Boolean equations. See, e.g., \textit{S. Rudeanu}, Boolean functions and equations (North-Holland, Amsterdam; American Elsevier, New York) (1974; Zbl 0321.06013), and \textit{F. M. Brown}, Boolean reasoning. The logic of Boolean equations (Kluwer Academic Publ., Boston) (1990; Zbl 0719.03002).