Abstract:
We consider a problem of synthesis of three-pole contact circuits with poles $A$, $B$ and $V$ implementing given Boolean functions between poles $A$ and $B$ and allowing short fault detection tests regarding contact breaks. For each Boolean function of $n$ variables and each test pole set containing at least one of the pairs $\{A,V\},\{B,V\}$, the minimal possible length values of single and complete fault detection tests are found. In particular, it is proved that these values do not exceed $3$.