Метод синтеза неизбыточных схем, допускающих единичные проверяющие тесты константной длины

Приводится конструктивное доказательство того, что в каждом из базисов $B'=\{ x\mathbin{\&} y, x\oplus y, x\sim y\}$, $B_1=\{ x\mathbin{\&} y, x\oplus y, 1\}$ любую булеву функцию $n$ переменных можно реализовать:
а) неизбыточной схемой с $n$ входами и одним выходом, допускающей единичный проверяющий тест длины не более 16 при константных неисправностях на входах и выходах элементов,
б) неизбыточной схемой с $n$ входами и одним выходом, допускающей единичный проверяющий тест длины не более $2n-2\log_2 n+O(1)$ при константных неисправностях на входах и выходах элементов и на входах схемы, при этом найдется функция $n$ переменных, которую нельзя реализовать неизбыточной схемой, допускающей тест, длина которого меньше $2n-2\log_2 n-\Omega(1)$,
в) неизбыточной схемой с $n$ входами и тремя выходами, допускающей единичный проверяющий тест длины не более 17 при константных неисправностях на входах и выходах элементов и на входах схемы.