Comments on a numerical method for solving Boolean equations |
| |
| Authors: | Frank Markham Brown |
| |
| Affiliation: | Air Force Institute of Technology, Emeritus, 86 Shoreline Drive, Hilton Head Island, SC 29928, USA |
| |
| Abstract: | A recent paper in this journal, by Abdel-Gawad, Atiya, and Darwish, presents a method of solving a system Boolean equations using the polynomial algebra invented by George Boole in 1854. The authors do not mention Boole, however, or the modern applications of this algebra. Their method entails reduction of the given system to a triangular system, which is solved by back-substitution. We show that the solutions of the triangular system include all those of the given system, but may include others that do not satisfy the given system. |
| |
| Keywords: | Boolean equations Solutions Elimination Proto-Boolean algebras George Boole Laws of thought Polynomials Equation-solving |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
