Ikwunne, Tochukwu Arinze, and Samuel Obiora Okide. 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):27-37. https://doi.org/10.18488/journal.76.2020.71.27.37.