Abstract
We consider a problem of implementation of Boolean functions by self-correcting logic circuits of unreliable gates in different bases. A set of permitted faults for each gate is predefined, with no restrictions imposed, except that it should be non-void. The following statements are proved:
1) For any integer \(m\geq 3\) there is a basis consisting of Boolean functions of no more than \(m\) variables, in which any Boolean function can be implemented by a logic circuit of unreliable gates that self-corrects relative to certain faults in an arbitrary number of gates.
2) For any positive integer \(k\) there are bases consisting of Boolean functions of no more than two variables, in each of which any Boolean function can be implemented by a logic circuit of unreliable gates that self-correct relative to certain faults in no more than \(k\) gates.
3) There is a functionally complete basis consisting of Boolean functions of no more than two variables, in which almost no Boolean function can be implemented by a logic circuit of unreliable gates that self-correct relative to at least some faults in no more than one gate.
Similar content being viewed by others
REFERENCES
O. B. Lupanov, Asymptotic Estimates for the Complexity of Control Systems (Mosk. Gos. Univ., Moscow, 1984) [in Russian].
Yu. G. Potapov and S. V. Yablonskiy, ‘‘On synthesis of self-correcting switching curcits,’’ Dokl. Akad. Nauk 134, 544–547 (1960).
Kh. A. Madatyan, ‘‘On synthesis of circuits that correct the closure of contacts,’’ Dokl. Akad. Nauk 159, 290–293 (1964).
V. M. Rabinovich, ‘‘On self-correcting circuits for the parity counter,’’ Probl. Kibern. 17, 227–231 (1966).
E. I. Nechiporuk, ‘‘Correcting closures in contact circuits,’’ Math. Notes USSR Acad. Sci. 2, 499–503 (1967).
E. I. Nechiporuk, ‘‘Correction of breaks in gate and contact circuits,’’ Cybern. Syst. Anal. 4 (5), 32–38 (1968).
E. I. Nechiporuk, ‘‘On topological principles of self-correction,’’ Probl. Kibern. 21, 5–102 (1969).
D. Ulig, ‘‘Self-correcting switching circuits that correct a large number of errors,’’ Dokl. Akad. Nauk 241, 1273–1276 (1978).
N. P. Red’kin, ‘‘On self-correction of switching circuits,’’ Probl. Kibern. 33, 119–138 (1978).
N. P. Red’kin, ‘‘On self-correction of switching circuits. II,’’ Probl. Kibern. 36, 195–208 (1979).
A. E. Andreev, ‘‘Method of non-repetitive reduction of synthesis of self-correcting circuts,’’ Dokl. Akad. Nauk 283, 265–269 (1985).
A. E. Andreev, ‘‘A universal principle of self-correction,’’ Math. USSR Sb. 55, 145–169 (1986).
N. P. Red’kin, ‘‘Complexity of realization of Boolean functions with small number of unit values by selfcorrecting contact circuits,’’ Mosc. Univ. Math. Bull. 66, 17–19 (2011).
G. I. Kirienko, ‘‘On self-correcting logic circuits,’’ Probl. Kibern. 12, 29–37 (1964).
G. I. Kirienko, ‘‘Synthesis of self-correcting logic circuits for the case of an increasing number of errors in a circuit,’’ Diskret. Anal. 16, 38–43 (1970).
D. Ulig, ‘‘On the synthesis of self-correcting schemes from functional elements with a small number of reliable elements,’’ Math. Notes USSR Acad. Sci. 15, 558–562 (1974).
A. V. Chashkin, ‘‘Self-correcting circuits for polynomial weight functions,’’ Vestn. Mosk. Univ., Ser. 1: Mat. Mekh., No. 5, 64–66 (1997).
N. I. Turdaliev, ‘‘On self-correction of circuits for some sequences of Boolean functions,’’ Diskret. Mat. 1 (3), 77–86 (1989).
N. I. Turdaliev, ‘‘On self-correcting logic circuits for a linear function,’’ Diskret. Mat. 2 (2), 150–154 (1990).
N. P. Red’kin, ‘‘On asymptotically minimal self-correcting ciruits for a single sequence of Boolean functions,’’ Vestn. Mosk. Univ., Ser. 1: Mat. Mekh., No. 3, 3–9 (1996).
N. P. Red’kin, ‘‘Asymptotically minimal self-correcting ciruits for a single sequence of Boolean functions,’’ Diskret. Anal. Issled. Oper. 3 (2), 62–79 (1996).
V. M. Krasnov, ‘‘Complexity of self-correcting circuits for some sequence of Boolean functions,’’ Mosc. Univ. Math. Bull. 64, 216–218 (2009).
K. A. Popkov, ‘‘Short single tests for circuits with arbitrary stuck-at faults at outputs of gates,’’ Discrete Math. Appl. 29, 321–333 (2019).
E. L. Post, The Two-Valued Iterative Systems of Mathematical Logic (Princeton Univ. Press, Princeton, 1941).
Author information
Authors and Affiliations
Corresponding author
Additional information
(Submitted by A. I. Aptekarev)
Rights and permissions
About this article
Cite this article
Popkov, K.A. On Self-Correcting Logic Circuits of Unreliable Gates. Lobachevskii J Math 42, 2637–2644 (2021). https://doi.org/10.1134/S1995080221110172
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S1995080221110172