Synthesis of reliable circuits at linear adhesion of variables in the “anticonjuction” basis

Background. The increaed complexity of modern systems of information processing, transfer and storage highlights a requirement of reliability and management of various control and computing systems. In the theory of control system reliability and management one can single out three main areas: 1) formation of reliable circuits from unreliable gates; 2) synthesis of self-correcting circuits; 3) formation of tests for circuit checking and diagnosing. The work is devoted to a topical problem of formation of reliable circuits realizing Boolean functions at various failures on inputs (linear functions that considerably depend on two variables are input). The aim of the study is to build reliable circuits and to obtain unreliability estimates for the said circuits. Materials and methods. The author used previously known methods of reliable circuits synthesis and circuit unreliability estimates obtainment. Results. For each of twol cases of basis gates failures the author built reliable circuits and obtained circuit unreliability estimates. The results obtained may be used in technical system design for reliability improvement. Conclusions. The author built reliable circuits relative to linear adhesions of variables in “anticonjunction” basis gates in cases, when the adhesion function significantly depends on two variables.