RUS  ENG
Full version
JOURNALS // Prikladnaya Diskretnaya Matematika // Archive

Prikl. Diskr. Mat., 2026 Number 71, Pages 63–74 (Mi pdm895)

Mathematical Backgrounds of Computer and Control System Reliability

Short single fault detection tests of contact break for contact circuits with two or more additional poles

K. A. Popkov

Keldysh Institute of Applied Mathematics, Moscow, Russia

Abstract: We consider the problem of synthesizing multi-pole contact circuits that implement given Boolean functions between poles $A$ and $B$ and allow short single fault detection tests related to contact breaks. For each Boolean function on $n$ variables and each test pole set containing at least two disjoint pairs of poles other than $\{A,B\}$, the minimal possible length value of such a test is found. In particular, it is proved that this value does not exceed $2$.

Keywords: contact circuit, contact break, additional pole, single fault detection test, Boolean function.

UDC: 519.718.7

DOI: 10.17223/20710410/71/4



© Steklov Math. Inst. of RAS, 2026