Boolean functions simplification algorithm of O(n) complexity

Mathematical and Computational Applications

Volumn 8, Issue 1-3, 2003, Pages 271-278

  Kahramanli, Şirzat ^a   Başçiftçi, Fatih ^a  

^a SELCUK UNIVERSITY   (Turkey)

Author keywords

Boolean expression; Boolean function; Covering algorithm; Cube algebra; Cube operations; Minimization; Prime implicant; Simplification; Simplification complexity

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; SET THEORY;

BOOLEAN EXPRESSION;

BOOLEAN FUNCTIONS;

EID: 0037989991     PISSN: 1300686X     EISSN: None     Source Type: Journal    
DOI: 10.3390/mca8030271     Document Type: Conference Paper

References (11)

1. R. E. Miller, Switching Theory, Vol. 1 Combination Circuits, New York; John Wiley and sons, 1965.
2. M. Morris Mano, Digital Design, Prentice-Hall International Editions, 1984.
3. Sharon R. Perkins, Tom Rhyne, An Algorithm for Identifying and Selecting The Prime Implicants of a Multiple-Output Boolean Function, IEEE Transactions On Computer Aided Design, Vol. 7, No:11, November 1988.
4. B. Gurunath, Nripendra N. Biswas, An Algorithm for Multiple Output Minimization, IEEE Transactions On Computer Aided Design, Vol. 8, No:9, September 1989.
5. Karen A. Bartlett, Robert K. Brayton, Gary D. Hachtel, Reily M. Jacoby, Christopher R. Morrison, Richard L. Rudell, Alberto Sangiovanni-Vincentelli, Albert R. Wang, Multilevel Logic Minimization Using Implicit Don't Cares, IEEE Transactions On Computer Aided Design, Vol. 7, No:6, June 1988
6. Novruz M. Allahverdi, Şirzad Ş. Kahramanli, Kayhan Erciyeş, A Fault Tolerant Rou5ting Algorithm Based On Cube Algebra For Hypercube Systems, Journal of Systems Architecture 46, 2000, pages 201-205.
7. Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio, Linda Pagli, Fast Three-Level Logic Minimization Based on Autoymmetry, 2001, http://citeseer.nj.nec.com/cachedpage/462188/1
8. Bernhard Beckert, Reiner Iiahnle, Gonzalo Escalada-Imaz, Simplification of Many-Valued Logic Formulas Using Anti-Links, 1997, http://citeseer.nj.nec.com/cachedpage/221052/1
9. Michel R. Dagenais, Vinod K. Agarwal, Nicholas C. Rumin, MCBOOLE: A New Procedure for Exact Logic Minimization, IEEE Transactions On Computer Aided Design, Vol. CAD-5, No:l, Jaunary 1986.
10. E.M. Nadjafov, S.S. Kahramanli, On the Synthesis of Multiple Output Switching Scheme, Scientific notes of Azerbaijan Institute of Petroleum and Chemistry, Baku, Azerbaijan, Vol. IX, No 3 (1973) 458-473.
11. S.S. Kahramanli, N.M. Allahverdi, Compact Method of Minimization of Boolean Functions with Multiple Variables, Proc. Intern. Symp. Application of Computers, Selcuk University, Konya, Turkey, (June 1993) 433-440.