Abstract:
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.
Key words:logic circuit, inverse-type output errors, diagnostic tests, test length.