On the reliability of circuits in the Rosser–Tourkett basis (in $P_k$)

We consider the implementation of $k$-valued logic functions with circuits consisting of unreliable functional elements in the Rosser–Tourkett basis. It is assumed that all elements of the circuit are independently subjected to inverse failures on the outputs. The upper and lower bounds of circuit reliability are found, and the class of functions, for which the lower bounds hold, is found too.