Легкотестируемые схемы для линейных функций

В работе установлено, что линейную булеву функцию от $n$ переменных можно реализовать неизбыточной схемой из функциональных элементов в базисе $\{\&,\vee,\; \bar{ } \; \}$, которая в случае инверсных неисправностей на выходах элементов допускает единичный диагностический тест длины $]\log (n-1)[ \;+2$.