Interactive Algorithms for the Verification of the Equality between Complex and Simplified Boolean-Algebra Expressions in Digital Decoders

Tochukwu Arinze Ikwunne () and Samuel Obiora Okide ()

Review of Computer Engineering Research, 2020, vol. 7, issue 1, 27-37

Abstract: This work highlights the use of an algorithm in evaluating and verifying a complex Boolean expression that are used in fabricating digital decoder systems. Digital decoders are built by human beings and, unfortunately, humans make mistakes. Both design errors and faulty implementation may lead both the hardware and software components of systems to behave in unexpected ways, which in turn may lead to business losses and even risky situations. Karnough maps, Boolean algebra theorems and laws are some of the techniques that can be used to simplify and reduce complex Boolean algebra expressions and truth table can be used to confirm that the reduced Boolean algebra expression is the same as the original, complex Boolean algebra expression. However, generating the truth table manually is tedious, especially when the Boolean algebra equation or expression has many Boolean variables. Therefore, this work presents novel algorithms to verify and evaluate complex Boolean expression from the fabricated decoder circuit.

Keywords: Digital decoder; Boolean algebra expression; Seven-segmented display; Combinational logic gate; Verification; Algorithms; Applications (search for similar items in EconPapers)
Date: 2020
References: Add references at CitEc
Citations:

Downloads: (external link)
https://archive.conscientiabeam.com/index.php/76/article/view/1476/2064 (application/pdf)
https://archive.conscientiabeam.com/index.php/76/article/view/1476/4788 (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:pkp:rocere:v:7:y:2020:i:1:p:27-37:id:1476

Access Statistics for this article

More articles in Review of Computer Engineering Research from Conscientia Beam
Bibliographic data for series maintained by Dim Michael ().