The completeness problem for systems of functions of the algebra of logic with unreliable realization
Sbornik. Mathematics, Tome 27 (1975) no. 3, pp. 339-354
Cet article a éte moissonné depuis la source Math-Net.Ru
The completeness problem in $P_2$ of so-called $\mu$-systems of functions of the algebra of logic with unreliable realization by means of networks of functional elements is examined. It is shown that systems of functions that are not $\mu$-systems are not complete in $P_2$. Necessary and sufficient conditions are found under which the $\mu$-system is complete in $P_2$. Figures: 11. Bibliography: 5 titles
@article{SM_1975_27_3_a2,
author = {V. V. Tarasov},
title = {The completeness problem for systems of functions of the algebra of logic with unreliable realization},
journal = {Sbornik. Mathematics},
pages = {339--354},
year = {1975},
volume = {27},
number = {3},
language = {en},
url = {http://geodesic.mathdoc.fr/item/SM_1975_27_3_a2/}
}
V. V. Tarasov. The completeness problem for systems of functions of the algebra of logic with unreliable realization. Sbornik. Mathematics, Tome 27 (1975) no. 3, pp. 339-354. http://geodesic.mathdoc.fr/item/SM_1975_27_3_a2/
[1] Dzh. Neiman, “Veroyatnostnaya logika i sintez nadezhnykh organizmov iz nenadezhnykh komponent”, Avtomaty, eds. K. E. Shennon, Dzh. Makkarti, IL, Moskva, 1956
[2] E. F. Moore, C. E. Shannon, “Reliable circuits using less reliable relays”, J. Franklin Inst., 262:3, 4 (1956) | MR | Zbl
[3] S. G. Gindikin, A. A. Muchnik, “Reshenie problemy polnoty dlya sistem funktsii algebry logiki s nenadezhnoi realizatsiei”, Problemy kibernetiki, no. 15, Fizmatgiz, Moskva, 1965
[4] O. B. Lupanov, “O sinteze nekotorykh klassov upravlyayuschikh sistem”, Problemy kibernetiki, no. 10, Fizmatgiz, Moskva, 1963
[5] S. V. Yablonskii, G. P. Gavrilov, V. B. Kudryavtsev, Funktsii algebry logiki i klassy Posta, Fizmatgiz, Moskva, 1966