Abstract
Nowadays, many technical devices are controlled by logic circuits. These circuits evaluate the situation based on the proposed truth functions, which they then use to perform one of the defined actions. In line with the increasing complexity of individual technical devices, the logic circuits and truth functions are also increasingly complex. For this reason, it makes sense to minimise these functions since they can thereby achieve a simpler technological process and the higher reliability of whole logic systems. This paper describes the Karnaugh Studio application, which resolves the minimisation of these truth functions - and was developed at our faculty (FAI, TBU in Zlín). The minimisation is performed using the Karnaugh Map Method - with support for up to eight variables on input. The application is based on the C++ programming language and the Dear ImGui and Magick++ libraries. Its functionality has been verified on a number of examples. This proved its applicability and ability to be used in the solution of logic circuits in industrial practice.
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
Holdsworth, B., Woods, C.: Digital Logic Design, 4th edn. Newnes (2002). ISBN 978-0-750645-82-9
Saha, A., Manna, N.: Digital Principles and Logic Design. Laxmi Publications (2007). ISBN 978-1-934015-03-2
Rafiquzzaman, M.: Fundamentals of Digital Logic and Microcomputer Design, 5th edn. Wiley-Interscience, Hoboken (2005). ISBN 978-0-471727-84-2
The Karnaugh Map Boolean Algebraic Simplification Technique. https://www.allaboutcircuits.com/technical-articles/karnaugh-map-boolean-algebraic-simplification-technique/. Accessed 18 Jan 2020
Prasad, V.C.: Generalized Karnaugh Map method for Boolean functions of many variables. IETE J. Educ. 58(1), 11–19 (2017)
Learn Digilentinc – Logic Minimization. https://learn.digilentinc.com/Documents/319. Accessed 18 Jan 2020
Boolean Functions (SOP, POS forms). https://www.electronicshub.org/boolean-logic-sop-form-pos-form/. Accessed 18 Jan 2020
Cplusplus.com – The C++ Resources Network. http://www.cplusplus.com/. Accessed 18 Jan 2020
Lippman, S.B., Lajoie, J., Moo, B.E.: C++ Primer, 5th edn. Addison-Wesley Professional, Boston (2012). ISBN 978-0-321714-11-4
The C++ Standard Template library. https://www.geeksforgeeks.org/the-c-standard-template-library-stl/. Accessed 18 Jan 2020
GitHub - ocornut/imgui: Dear ImGui: Bloat-free Immediate Mode Graphical User interface for C++ with minimal dependencies. https://github.com/ocornut/imgui. Accessed 18 Jan 2020
Dear imgui. https://skia.googlesource.com/external/github.com/ocornut/imgui/+/v1.51/README.md. Accessed 18 Jan 2020
Magick++ API. https://imagemagick.org/Magick++/. Accessed 18 Jan 2020
Karnaugh Studio. https://sevcikdaniel.github.io/karnaugh-studio/. Accessed 18 Jan 2020
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Pokorný, P., Ševčík, D. (2020). An Application for Solving Truth Functions. In: Silhavy, R. (eds) Intelligent Algorithms in Software Engineering. CSOC 2020. Advances in Intelligent Systems and Computing, vol 1224. Springer, Cham. https://doi.org/10.1007/978-3-030-51965-0_30
Download citation
DOI: https://doi.org/10.1007/978-3-030-51965-0_30
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-51964-3
Online ISBN: 978-3-030-51965-0
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)