| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 394930 | Information Sciences | 2011 | 5 Pages |
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
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Frank Markham Brown,