Using variable-entered karnaugh maps to solve boolean equations

DOI10.1080/00207160108805094MaRDI QIDQ2752264zbMATH OpenOpenAlexFDO

Authors Ali Muhammad Ali Rushdi

Publication date 30 January 2002

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207160108805094

zbMATH Keywords

Boolean equationssuccessive elimination of variablesvariable-entered Karnaugh maps

Mathematics Subject Classification ID

Boolean functions (06E30)

Review text

The author uses variable-entered Karnaugh maps to solve Boolean equations by the method of successive elimination of variables. He advocates the claim that this technique is superior to the use of Marquand maps or of conventional Karnaugh maps. An example is given. The reviewer believes that the algebraic calculus is preferable to the use of maps of any kind; cf. \textit{S. Rudeanu}, Boolean functions and equations, Amsterdam: North-Holland (1974; Zbl 0321.06013). This can easily be illustrated on the example worked out in the paper.

Recommendations

• Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations
• Improved variable-entered Karnaugh map procedures
• UN-KLEENE BOOLEAN EQUATION SOLVING
• Algebraic Methods Versus Map Methods Of Solving Boolean Equations
• Solving non-linear Boolean equation systems by variable elimination
• scientific article; zbMATH DE number 4177136
• Theory and Applications of Satisfiability Testing
• Tools and Algorithms for the Construction and Analysis of Systems
• scientific article; zbMATH DE number 2016580
• scientific article; zbMATH DE number 1822244

Cites work

• Comments on "Some additions to solution of switching equations based on a tabular algebra
• Graph-Based Algorithms for Boolean Function Manipulation
• scientific article; zbMATH DE number 3743175 (Why is no real title available?)
• scientific article; zbMATH DE number 49082 (Why is no real title available?)
• scientific article; zbMATH DE number 3501560 (Why is no real title available?)
• scientific article; zbMATH DE number 1179500 (Why is no real title available?)
• Improved variable-entered Karnaugh map procedures
• Meet and Join Derivatives and Their Use in Switching Theory
• Symbolic Reliability Analysis with the Aid of Variable-Entered Karnaugh Maps

Cited in

(7)

• Improved variable-entered Karnaugh map procedures
• Using variable-entered Karnaugh maps to produce compact parametric general solutions of Boolean equations
• A purely map procedure for two-level multiple-output logic minimization
• Algebraic Methods Versus Map Methods Of Solving Boolean Equations
• Two-Level Multiple-Output Logic Minimization Using A Single Function
• Algebraic Methods Versus Map Methods Of Solving Boolean Equations
• Prominent classes of the most general subsumptive solutions of Boolean equations

This page was built for publication: Using variable-entered karnaugh maps to solve boolean equations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2752264)