Maqola

Principle of Independence of Continuation of Functions Multivalued Logic from Coding

Ibrokhimali NormatovScientific and Innovation Centre of Information and Communication Technologies under Tashkent IT University, Kichik halka yuli st., 2, Tashkent, Uzbekistan

Journal of Physics Conference Seriesjournal2019en

ABI

Annotatsiya

In this paper we consider not everywhere defined functions of multivalued logic. The problem of logical continuation of functions of multivalued logic in the class of disjunctive normal forms is investigated. We prove a theorem on the invariant extension of functions of multivalued logic in the class of disjunctive norms, which does not depend on the accepted coding. An algorithm is constructed for constructing a set of invariant points that are independent of the received encoding.

Mavzular

Formal Methods in Verification Mathematical Control Systems and Analysis

Identifikatorlar

DOI: 10.1088/1742-6596/1210/1/012107

Iqtiboslar va manbalar

5 ta iqtibos0 ta foydalanilgan manba

Koʻrsatkichlar — AkademScholar · Tez orada