Нижние оценки ненадёжности схем в базисе Россера–Туркетта (в $P_4$)

Рассматривается реализация функций четырёхзначной логики схемами из ненадёжных функциональных элементов в базисе Россера–Туркетта. Предполагается, что все элементы схемы независимо друг от друга с вероятностью $p$ подвержены инверсным неисправностям на выходах, т.е. каждый базисный элемент на любом входном наборе с вероятностью $p$ выдаёт каждое из трёх неверных значений, с вероятностью $1-3p$ выдаёт верное значение. Найден класс функций $K$, содержащий почти все четырёхзначные функции, и показано, что любая схема, реализующая функцию из класса $K$, функционирует с ненадёжностью, которая асимптотически (при малых значениях $p$) не меньше $9p$.