Синтез надежных схем в базисе, состоящем из функции Вебба, в $P_k$

Рассматривается реализация функций $k$-значной логики ($k \ge 3$) схемами из ненадежных функциональных элементов в полном базисе, состоящем из функции Вебба. Предполагается, что элементы схемы переходят в неисправные состояния независимо друг от друга, а сами неисправности таковы, что каждое из неверных значений появляется на выходе базисного элемента с одной и той же вероятностью.
Ранее при $k \in \{3,4,5\}$ были разработаны методы синтеза надежных схем. В этой работе показано, что при $k \geq 6$ любую функцию $k$-значной логики можно реализовать надежной схемой, предложены два метода синтеза надежных схем и проведено сравнение полученных с помощью этих методов верхних оценок ненадежности построенных схем.
Полученные результаты справедливы в двойственном (относительно перестановки, порождаемой функцией Лукашевича) базисе при тех же неисправностях.