TBU Publications
Repository of TBU Publications

An application for solving truth functions

DSpace Repository

Show simple item record


dc.title An application for solving truth functions en
dc.contributor.author Pokorný, Pavel
dc.contributor.author Ševčík, David
dc.relation.ispartof Advances in Intelligent Systems and Computing
dc.identifier.issn 2194-5357 Scopus Sources, Sherpa/RoMEO, JCR
dc.identifier.isbn 978-3-03-051964-3
dc.date.issued 2020
utb.relation.volume 1224 AISC
dc.citation.spage 341
dc.citation.epage 351
dc.event.title 9th Computer Science On-line Conference, CSOC 2020
dc.event.location online
dc.event.sdate 2020-07-15
dc.event.edate 2020-07-15
dc.type conferenceObject
dc.language.iso en
dc.publisher Springer
dc.identifier.doi 10.1007/978-3-030-51965-0_30
dc.relation.uri https://link.springer.com/chapter/10.1007/978-3-030-51965-0_30
dc.subject boolean function en
dc.subject minimisation en
dc.subject truth function en
dc.description.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. © 2020, Springer Nature Switzerland AG. en
utb.faculty Faculty of Applied Informatics
dc.identifier.uri http://hdl.handle.net/10563/1009859
utb.identifier.obdid 43882095
utb.identifier.scopus 2-s2.0-85089722601
utb.source d-scopus
dc.date.accessioned 2020-09-01T10:09:20Z
dc.date.available 2020-09-01T10:09:20Z
utb.contributor.internalauthor Pokorný, Pavel
utb.contributor.internalauthor Ševčík, David
utb.fulltext.affiliation Pavel Pokorný1, Daniel Ševčík 2 1 Department of Computer and Communication Systems, Faculty of Applied Informatics, Tomas Bata University in Zlín, Nad Stráněmi 4511, 760 05 Zlín, Czech Republic pokorny@utb.cz 2 Department of Automation and Control Engineering, Faculty of Applied Informatics, Tomas Bata University in Zlín, Nad Stráněmi 4511, 760 05 Zlín, Czech Republic d_sevcik@utb.cz
utb.fulltext.dates -
utb.scopus.affiliation Department of Computer and Communication Systems, Faculty of Applied Informatics, Tomas Bata University in Zlín, Nad Stráněmi 4511, Zlín, 760 05, Czech Republic; Department of Automation and Control Engineering, Faculty of Applied Informatics, Tomas Bata University in Zlín, Nad Stráněmi 4511, Zlín, 760 05, Czech Republic
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.ou Department of Computer and Communication Systems
utb.fulltext.ou Department of Automation and Control Engineering
Find Full text

Files in this item

Show simple item record