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...

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...