Вестник Московского Университета. Математика, Механика - Содержание

Easily Tested Circuits for Linear Functions  / Bedzhanova S.R. // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika. 2011. № 4. P. 57-59 [Moscow Univ. Math. Bulletin. Vol. 66, N 4, 2011.].

It is shown that a linear Boolean function of n variables can be realized over the basis {&, V, -} by an irredundant 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.