Circuit failure estimate in the Rosser - Turkett basis

Background. In modern mathematics and engineering the theory of synthesis of circuits consisting of unreliable functional elements takes an important place. It should be noted that until now one have used to consider the problems of building reliable circuits, realizing the Boolean functions only. The authors suggest a mathematical model for constructing asymptotically optimal reliable circuit, realizing ternary logics functions. The researchers studied the problem of realization of ternary logic function circuits of unreliable functional elements in the Rosser - Turkett basis. It is assumed that all the basic elements get faulty independently of each other, and any basic element at any input set (with probability $1-2\epsilon$) gives the correct value, and, with $\epsilon$ probability, can give any of the two incorrect values. The aim of this work is to obtain lower and upper bounds for reliability of circuits and to construct asymptotically optimal reliable circuits.
Results. As a result of the study the authors managed to prove the previously obtained upper failure estimates, significantly weakening restrictions (previously the probability depended on n - number of variables, functions, and in this work it was replaced by a constant). The authors proved asymptotic accuracy of the upper bounds, i. e. in the Rosser - Turkett basis they found the K class of ternary logic functions, which means that the lower bound for the unreliability of a circuit is asymptotically equal to the upper bound of unreliability for the implementation of any function of this class by any circuit. The K class was explicitly described, as well there was found an estimate for the number of functions, which are included in this class.
Conclusion. It is established that any ternary logic functions can be realized by a circuit that operates with unreliability, asymptotically (at $\epsilon \rightarrow 0$), not greater than $6\epsilon$. It is proved that the function of K class (containing almost all ternary logic functions) can not be realized by circuits with unreliability, asymptotically (at $\epsilon \rightarrow 0$) less than $6\epsilon$. Thus almost all ternary logic functions can be realized by asymptotically optimal reliable circuits that operate with unreliability, that is asymptotically equal to $6\epsilon$ at $\epsilon \to 0$.