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
Voir la notice de l'article provenant de 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},
publisher = {mathdoc},
volume = {27},
number = {3},
year = {1975},
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 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/SM_1975_27_3_a2/ LA - en ID - SM_1975_27_3_a2 ER -
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/