Abstract
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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bryant, R.E.: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. C 35(8), 677–691 (1986). ISSN: 0018-9340. https://doi.org/10.1109/TC.1986.1676819
McCluskey, E.J.: Minimization of Boolean functions. Bell Syst. Tech. J. 35(6), 1417–1444 (1956). ISSN: 0005-8580. https://doi.org/10.1002/j.1538-7305.1956.tb03835.x
Quine, W.V.: The problem of simplifying truth functions. Am. Math. Mon. 59(8), 521–531 (1952). https://doi.org/10.2307/230 8219
Quine, W.V.: A way to simplify truth functions. Am. Math. Mon. 62(9), 627–631 (1955). https://doi.org/10.2307/2307285
Sasao, T., Fujita, M. (eds.): Representations of Discrete Functions. Kluwer Academic Publishers, Boston (1996). ISBN: 0-7923-9720-7
Shannon, C.E.: A symbolic analysis of relay and switching circuits. Trans. Am. Inst. Electr. Eng. 57(12), 713–723 (1938). ISSN: 0096-3860. https://doi.org/10.1109/T-AIEE.1938.5057767
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-9298
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-8
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-6
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-5
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer International Publishing AG
About this chapter
Cite this chapter
Posthoff, C., Steinbach, B. (2019). Logic Functions. In: Logic Functions and Equations. Springer, Cham. https://doi.org/10.1007/978-3-030-02420-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-02420-8_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-02419-2
Online ISBN: 978-3-030-02420-8
eBook Packages: Computer ScienceComputer Science (R0)