Solution of Boolean equations (Q1974998)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Solution of Boolean equations |
scientific article |
Statements
Solution of Boolean equations (English)
0 references
27 March 2000
0 references
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).
0 references
Boolean equations
0 references