RUS  ENG
Full version
JOURNALS // Preprints of the Keldysh Institute of Applied Mathematics // Archive

Keldysh Institute preprints, 2018 271, 24 pp. (Mi ipmp2628)

This article is cited in 1 paper

On diagnostic tests of contact break for contact circuits

K. A. Popkov


Abstract: We prove that, for $n\geqslant 2$, one can implement each Boolean function on $n$ variables by a two-pole contact circuit which is irredundant and allows a diagnostic test with a length not exceeding $n+k(n-2)$ under not more than $k$ contact breaks. We obtain that, under $k=k(n)\leqslant 2^{n-4}$, for almost all Boolean functions on n variables, the least possible length of such a test does not exceed $2k+2$.

Keywords: contact circuit, contact break, diagnostic test.

DOI: 10.20948/prepr-2018-271



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2025