MATHEMATICAL DESCRIPTION OF LOGIC-TIME FUNCTIONS OF MULTIPLE-VALUED LOGIC AND SOME OPERATIONS OVER THEM

Authors

  • Nataliia Sachaniuk-Kavets’ka Vinnytsia National Technical University
  • Olena Prozor Vinnytsia National Technical University

DOI:

https://doi.org/10.31649/1999-9941-2022-53-1-111-118

Keywords:

logical-temporal function of multiple-valued logic, productive word, index form, time-ordering operator

Abstract

The article states that mathematical and computer modeling are the main tools for studying complex dynamic processes and systems. At the level of computing devices, time is a criterion for streamlining the sequence of operations and is implicit, and for specific nodes, time ensures their proper operation and is represented at the level of clocks or clock pulses. The paper shows the expediency of the idea of replacing an arbitrary digital signal (variable) that changes over time with a time logic function, which allows to facilitate the preliminary analytical processing of digital signals and variables using the properties of such functions. The article presents a new mathematical apparatus for describing logic-time functions of multivalued logic and individual operations on them using modeling of known implementation schemes. An index form of representation of functions is proposed, which is quite easy to understand and allows to consider any logical-temporal functions as a numerical sequence. Lukasevich's negation operation and the shift operation are considered as basic operations, which will allow to introduce more complex operations on logical-temporal functions of multivalued logic, such as inequality, differentiation and integration, and to investigate their properties.

Author Biographies

Nataliia Sachaniuk-Kavets’ka, Vinnytsia National Technical University

Candidate of Technical Sciences, Associate Professor, Associate Professor of the Department of Higher Mathematics

Olena Prozor, Vinnytsia National Technical University

Candidate of Pedagogical Sciences, Associate Professor, Associate Professor of the Department of Higher Mathematics

References

Ju. Ja., Bazilevskij, Voprosy teorii vremennyh logicheskih funkcij. V kn.: Voprosy teorii matematicheskih mashin, sb. 1. M., 1958, 30 p. [in Russian].

D. A. Pospelov, «Sintez shem, rabota kotoryh opisyvaetsja vremennymi bulevymi funkcija-mi», Avtomatika i telemehanika, tom 21, vypusk 10, s. 1410−1413, 1960 [in Russian].

Z. L. Rabinovich, «Vektorno-vremennye perekljuchatel'nye funkcii (VP-funkcii) kak jazyk dlja opisanija shem i processov pererabotki informacii», Kibernetika, № 3, pp. 36−42, 1968 [in Russian].

N. V. Sachaniuk-Kavetska, V. P. Kozhemiako, Elementy oko-protsesornoi obrobky zobrazhen v lohiko-chasovomu seredovyshchi. Monohrafiia. Vinnytsia, Ukraina: UNIVERSUM, 2004, 135 p. [in Ukrainian].

N. V. Sachaniuk-Kavetska, I. O. Bondarenko, «Identyfikatsiia subiektiv v systemakh kontroliu dos-tupu za dopomohoiu identyfikatsiinoi lohiko-chasovoi funktsii, yak efektyvnyi metod kompleksnoho zakhystu informatsii», Optoelectronic Information-Energy Technologies, №1(35), pp. 14−23, 2018 [in Ukrainian].

N. Sachaniuk-Kavetsʺka, V. Kozhemiako, W. Wojcik, D. Kassymkhanova, A. Kalizhnova (2015). «The use polynomials as a possible variant analytical processing on logic-time functions», Optical Fibers and Their Applications 2015 Proceedings of SPIE, 9816, Lublin, Poland.

D. Michael Miller, Mitchell A. Thornton, Multiple-Valued Logic: Concepts and Representations, 2007, 127 p. [Online]. Available: https://ieeexplore.ieee.org/document/6813012/metrics#metrics. Accessed on: Jan. 05, 2022.

Downloads

Abstract views: 179

Published

2022-02-23

How to Cite

[1]
N. Sachaniuk-Kavets’ka and O. Prozor, “MATHEMATICAL DESCRIPTION OF LOGIC-TIME FUNCTIONS OF MULTIPLE-VALUED LOGIC AND SOME OPERATIONS OVER THEM”, ІТКІ, vol. 53, no. 1, pp. 111–118, Feb. 2022.

Issue

Section

Mathematical modeling and computational methods

Metrics

Downloads

Download data is not yet available.