Easily tested circuits for linear functions
Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 4 (2011), pp. 57-59
Voir la notice de l'article provenant de la source Math-Net.Ru
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.
@article{VMUMM_2011_4_a11,
author = {S. R. Bedzhanova},
title = {Easily tested circuits for linear functions},
journal = {Vestnik Moskovskogo universiteta. Matematika, mehanika},
pages = {57--59},
publisher = {mathdoc},
number = {4},
year = {2011},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/VMUMM_2011_4_a11/}
}
S. R. Bedzhanova. Easily tested circuits for linear functions. Vestnik Moskovskogo universiteta. Matematika, mehanika, no. 4 (2011), pp. 57-59. http://geodesic.mathdoc.fr/item/VMUMM_2011_4_a11/