ABOUT THE PROBLEM OF SEARCHING FOR SETS OF ESSENTIAL VARIABLE LOGIC FUNCTIONS AND TESTS OF TABLE

Author: Kabulov Anvar Vasilovich, Erkin Urunbaev, Normatov Ibrokhimali Holmamatovich, Ashurov Aziz Olimjonovich

Abstract:

In this paper, we study the problems of finding minimal tests, testers, and a set of variables that are essential for not everywhere defined functions. Such problems are discrete extremal problems of one class, and in algorithms that implement methods for solving them, at each step, a set of variables of not everywhere defined functions is selected. We prove a theorem on the equivalence of the search problems for minimal tests, testers and a set of variables that are essential for not everywhere defined functions, the problem of finding the maximum upper zero of monotone Boolean functions. 

SOLUTION OF SYSTEMS OF LOGIC EQUATIONS IN RECOGNITION TASKS

Author: Kabulov Anvar Vasilovich, Erkin Urunbaev, Normatov Ibrokhimali Holmamatovich, Ashurov Aziz Olimjonovich

Abstract:

In logical recognition systems, logical methods are used to construct the recognition algorithms based on discrete analysis and propositional calculus based on it. In the general case, the logical method of recognition provides for the presence of logical connections expressed through a system of Boolean equations, in which the variables are the logical signs of objects or phenomena under recognition.