Logic Functions



Next we introduce one of the core concepts—logic functions. Based on their definition several possibilities for their presentation are explained. Due to different representations of logic functions minimization methods are explored. Partial defined logic functions are introduced and alternatively interpreted as sets of logic functions.


  1. 10.
    Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. C 35(8), 677–691 (1986). ISSN: 0018-9340. CrossRefGoogle Scholar
  2. 22.
    McCluskey, E.J.: Minimization of Boolean functions. Bell Syst. Tech. J. 35(6), 1417–1444 (1956). ISSN: 0005-8580. MathSciNetCrossRefGoogle Scholar
  3. 29.
    Quine, W.V.: The problem of simplifying truth functions. Am. Math. Mon. 59(8), 521–531 (1952). 8219 MathSciNetCrossRefGoogle Scholar
  4. 30.
    Quine, W.V.: A way to simplify truth functions. Am. Math. Mon. 62(9), 627–631 (1955). MathSciNetCrossRefGoogle Scholar
  5. 34.
    Sasao, T., Fujita, M. (eds.): Representations of Discrete Functions. Kluwer Academic Publishers, Boston (1996). ISBN: 0-7923-9720-7zbMATHGoogle Scholar
  6. 36.
    Shannon, C.E.: A symbolic analysis of relay and switching circuits. Trans. Am. Inst. Electr. Eng. 57(12), 713–723 (1938). ISSN: 0096-3860. CrossRefGoogle Scholar
  7. 38.
    Steinbach, B.: XBOOLE—a toolbox for modelling, simulation, and analysis of large digital systems. Syst. Anal. Model. Simul. 9(4), 297–312 (1992). ISSN: 0232-9298Google Scholar
  8. 70.
    Steinbach, B., Werner, M.: XBOOLE-CUDA - fast Boolean operations on the GPU. In: Steinbach, B. (ed.) Boolean Problems, Proceedings of the 11th International Workshops on Boolean Problems. IWSBP 11, Sept. 2014. Freiberg University of Mining and Technology, Freiberg (2014). ISBN: 978-3-86012-488-8Google Scholar
  9. 71.
    Steinbach, B., Werner, M.: XBOOLE-CUDA - fast calculations on the GPU. In: Steinbach, B. (ed.) Problems and New Solutions in the Boolean Domain, pp. 117–149. Cambridge Scholars Publishing, Newcastle upon Tyne (2016). ISBN: 978-1-4438-8947-6Google Scholar
  10. 78.
    Yanushkevich, S.N., et al. (eds.): Decision Diagram Techniques for Micro- and Nanoelectronic Design Handbook. CRC Press/Taylor & Francis Group, Boca Raton/London (2006). ISBN: 978-0-8493-3424-5Google Scholar

Copyright information

© Springer International Publishing AG 2019

Authors and Affiliations

  1. 1.Computing and Information TechnologyUniversity of the West Indies (retired)ChemnitzGermany
  2. 2.Computer ScienceTU Bergakademie Freiberg (retired)ChemnitzGermany

Personalised recommendations