An application for solving truth functions

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. © 2020, Springer Nature Switzerland AG