Easy-testing surcuits for linear functions
It is shown that a linear Boolean function of n variables can be realized over the basis \&, \vee, \bar by an unzedundant circuit admitting a unit diagnostic test of the length]\log (n-1)[+ 2 for inverse output errors of elements.