Truth Graph: A Novel Method for Minimizing Boolean Algebra Expressions by Using Graphs
Eisa Alharbi
Abstract
Open-access reader
Eisa Alharbi
Abstract
Open-access reader
Boolean algebra expressions are used by stakeholders from a range of disciplines, such as engineers, to build logic circuits. To reduce the cost and transaction numbers of logic circuits, engineers minimize Boolean expressions by reducing the number of terms or arithmetic operations. A well-known pictorial method applied for minimizing Boolean expressions is the Karnaugh map. However, a drawback is that these maps are not effective for minimizing Boolean expressions involving more than four variables. We introduce a novel method for minimizing Boolean expressions by using graphs, which we call a “Truth Graph” that can be effectively applied when many variables exist.
OpenAlex reports 3 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Boolean algebra expressions are used by stakeholders from a range of disciplines, such as engineers, to build logic circuits. To reduce the cost and transaction numbers of logic circuits, engineers minimize Boolean expressions by reducing the number of terms or arithmetic operations. A well-known pictorial method applied for minimizing Boolean expressions is the Karnaugh map. However, a drawback is that these maps are not effective for minimizing Boolean expressions involving more than four variables. We introduce a novel method for minimizing Boolean expressions by using graphs, which we call a “Truth Graph” that can be effectively applied when many variables exist.
Key concepts: Boolean expression, Boolean circuit, Computer science, Boolean algebra, Product term, And-inverter graph, Circuit minimization for Boolean functions, Two-element Boolean algebra