Comments on a numerical method for solving Boolean equations

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.