Ikwunne, T.A. and Okide, S.O. 2020. Interactive Algorithms for the Verification of the Equality between Complex and Simplified Boolean-Algebra Expressions in Digital Decoders. Review of Computer Engineering Research. 7, 1 (Apr. 2020), 27–37. DOI:https://doi.org/10.18488/journal.76.2020.71.27.37.