О проверяющих тестах для счетчика четности

Рассматриваются схемы из функциональных элементов, реализующие булеву функцию $f_n^\oplus(\widetilde{x})=x_1\oplus x_2\oplus\ldots\oplus x_n$ при наличии произвольных константных неисправностей на входах элементов. Доказано, что для таких схем полный проверяющий тест имеет длину не менее $n+1$. Показано, что существует схема, реализующая $f_n^\oplus(\widetilde{x})$ и допускающая полный проверяющий тест, длина которого равна $n+2$.