Ikwunne, T. A. .; Okide, S. O. . Interactive Algorithms for the Verification of the Equality Between Complex and Simplified Boolean-Algebra Expressions in Digital Decoders. 76 2020, 7, 27-37.