On the Polynomial Form of Boolean Functions: Derivations and Applications
IEEE Transactions on Computers
Solution of systems of Boolean equations via the integer domain
Information Sciences: an International Journal
| Hi-index | 0.07 |
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.