420
Views
14
CrossRef citations to date
0
Altmetric
Original Articles

Using variable-entered karnaugh maps to solve boolean equations

Pages 23-38 | Received 14 Apr 2000, Published online: 20 Mar 2007

References

  • Brown , F.M. 1990 . Boolean Reasoning: The logic of Boolean Equations , Boston , , USA : Kluwer Academic Publishers .
  • Gregg , J.R. 1998 . Ones and Zeros: Understanding Boolean Algebra, Digital Circuits and the Logic of Sets , New York , , USA : IEEE Press .
  • Hammer , P.L. and Rudeanu , S. 1968 . Boolean Methods in Operations Research and Related Areas , Berlin , Germany : Springer Verlag .
  • Rudeanu , S. 1974 . Boolean Functions and Equations , Amsterdam , The Netherlands : North-Holland Publ.Co.& American Elsevier .
  • Tucker , J.H. and Tapia , M.A. 1992 . Proceedings of IEEE Southeastcon 92 . Using Karnaugh maps to solve Boolean equations by successive elimination . 1992 . pp. 589 – 592 . Birmingham , , USA
  • Muroga , S. 1979 . Logic Design and Switching Theory , New York , , USA : Wiley .
  • Fletcher , W.I. 1980 . An Engineering Approach to Digital design , Englewood-Cliffs , , USA : Prentice Hall .
  • Rushdi , A.M. 1987 . Improved variable-entered Karnaugh map procedures . Computers and Electrical Engineering , 13 : 41 – 52 .
  • Rushdi , A.M. and Al-Yahya , H.A. 2000 . A Boolean minimization procedure using the variable-entered Karnaugh map and the generalized consensus concept . Int.J.Electronics , 87 : 769 – 794 .
  • Rushdi , A.M. 1996 . “ Karnaugh map ” . In Encyclopedia of Mathematics , Edited by: Hazewinkel , M. Boston , , USA : Kluwer Academic publishers .
  • Rushdi , A.M. 1983 . Symbolic reliability analysis with the aid of variable-entered Karnaugh maps . IEEE Transactions on Reliability , R-32 : 134 – 139 .
  • Rushdi , A.M. 1985 . Map derivation of the minimal sum of a switching functions from that of its complement . Microelectronics and Reliability , 25 : 1055 – 1065 .
  • Thayse , A. 1978 . Meet and join derivatives and their use in switching theory . IEEE Transactions on Computers , C-27 : 713 – 720 .
  • Rushdi , A.M. 1986 . Map differentiation of switching functions . Microelectronics and Reliability , 26 : 891 – 908 .
  • Bryant , R.E. 1986 . Graph-Based algorithms for Boolean function manipulation . IEEE Transactions on Computers , C-35 : 677 – 691 .
  • Trabado , P.P. , Lloris-Ruiz , A. and Ortega-Lopera , J. 1993 . Solution of switching equations based on a tabular algebra . IEEE Transactions on Computers , 42 : 591 – 596 .
  • Unger , S.H. 1994 . Some additions to solution of switching equations based on a tabular algebra . IEEE Transactions on Computers , 43 : 365 – 367 .
  • Jung , G. 1995 . Comments on ‘Some additions to solution of switching equations based on a tabular algebra’ . IEEE Transactions on Computers , 44 : 1357 – 1358 .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.