Abstract
We prove that any (almost any) n-place Boolean function can be implemented by a logic circuit in the “conjunction, disjunction, implication, negation” basis admitting a conditional complete diagnostic test of length at most n (at most n − 1, respectively) relative to constant faults of type 0 on outputs of gates.
Originally published in Diskretnaya Matematika (2022) 34, №3, 63–69 (in Russian).
References
[1] Yablonsky S.V., “Reliability and control of control systems”, Materialy Vsesoyuznogo seminara po diskret. matem. i ee prilozheniyam, M.: Izd-vo MGU, 1986, 7-12 (in Russian).Suche in Google Scholar
[2] Yablonsky S. V., “Some issues of reliability and control of control systems”, Matematicheskie voprosy kibernetiki. Vyp. 1, M.: Nauka, 1988, 5-25 (in Russian).Suche in Google Scholar
[3] Red’kin N. P., Reliability and circuit diagnostics, M.: Izd-vo MGU, 1992 (in Russian), 192 pp.Suche in Google Scholar
[4] Popkov K. A., “Lower bounds for lengths of complete diagnostic tests for circuits and inputs of circuits”, Prikladnaya Diskretnaya Matematika, 2016, №4(34), 65-73 (in Russian).10.17223/20710410/34/5Suche in Google Scholar
[5] Red’kin N. P., “Toward the issue of the length of diagnostic tests for circuits”, Math. Notes, 102:4 (2017), 580-582.10.1134/S0001434617090310Suche in Google Scholar
[6] Shevchenko V. I., Investigation of the complexity of conditional tests for diagnosing faults in circuits from functional elements, diss kand. fiz.-matem. nauk, Nizhny Novgorod, 1995 (in Russian), 149 pp.Suche in Google Scholar
[7] Moshkov M. Yu., “Diagnostics of constant faults in circuits of functional elements”, Matematicheskie voprosy kibernetiki. Vyp. 9, M.: Fizmatlit, 2000, 79-100 (in Russian).Suche in Google Scholar
[8] Lozhkin S. A., Lectures on the basics of cybernetics (textbook for students), M.: Izdatelskiy otdel f-ta VMiK MGU, 2004 (in Russian), 251 pp.Suche in Google Scholar
[9] Yablonskiy S. V., Introduction to Discrete Mathematics, M.: Nauka, 1986 (in Russian), 384 pp.Suche in Google Scholar
© 2023 Walter de Gruyter GmbH, Berlin/Boston
Artikel in diesem Heft
- Frontmatter
- On the relationship between local affinities of a Boolean function and some types of its degeneracy
- A generalized model of the Colonel Blotto stochastic game
- Logical extensions of the parametric closure operator
- Short conditional complete diagnostic tests for circuits under one-type constant faults of gates
- Approximation of vectorial functions over finite fields and their restrictions to linear manifolds by affine analogues
Artikel in diesem Heft
- Frontmatter
- On the relationship between local affinities of a Boolean function and some types of its degeneracy
- A generalized model of the Colonel Blotto stochastic game
- Logical extensions of the parametric closure operator
- Short conditional complete diagnostic tests for circuits under one-type constant faults of gates
- Approximation of vectorial functions over finite fields and their restrictions to linear manifolds by affine analogues