Sbornik. Mathematics, Tome 27 (1975) no. 3, pp. 339-354
Citer cet article
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/
@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/}
}
TY - JOUR
AU - V. V. Tarasov
TI - The completeness problem for systems of functions of the algebra of logic with unreliable realization
JO - Sbornik. Mathematics
PY - 1975
SP - 339
EP - 354
VL - 27
IS - 3
UR - http://geodesic.mathdoc.fr/item/SM_1975_27_3_a2/
LA - en
ID - SM_1975_27_3_a2
ER -
%0 Journal Article
%A V. V. Tarasov
%T The completeness problem for systems of functions of the algebra of logic with unreliable realization
%J Sbornik. Mathematics
%D 1975
%P 339-354
%V 27
%N 3
%U http://geodesic.mathdoc.fr/item/SM_1975_27_3_a2/
%G en
%F SM_1975_27_3_a2
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
[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