The software library used in teaching of multiple-valued logic and logic function

摘要

Multiple-valued logic (MVL) is used in various fields of knowledge such as logic, philosophy, logic circuits design, reliability engineering or artificial intelligence. MVL is generalization of well-known binary logic and unlike binary logic MVL allows operating with a larger number of truth degrees and provides numerous tools for problem formalizing and solving. In order to describe relationships between inputs and the result of certain phenomena in the MVL a mapping of n multi-valued inputs into m-valued output called MVL-function is needed. The MVL-function can be used for example in electrical engineering, computer engineering, logic or reliability engineering. MVL-function is a fundamental element of MVL. Therefore a software library for working with MVL and MVL-functions is needed for implementation of numerous applied problems. The software implementation of demanding process such as symbolic calculations with MVL-functions is hard. New software library for working with MVL and logic functions is introduced in this paper. This software library is programmed in C++ for fast and efficient performance. It can be used for helping student with symbolic calculations of MVL-function or as a support library for complex programs, which need to work with logic function.