Implementation of Linear Boolean Functions by Self-Correcting Circuits of Unreliable Logic Gates
Matematičeskie zametki, Tome 115 (2024) no. 1, pp. 91-107

Voir la notice de l'article provenant de la source Math-Net.Ru

We prove that if a Boolean function essentially depends on at least two variables, then it cannot be implemented by a circuit that consists of unreliable gates with at most two inputs each and is self-correcting with respect to at least some faults of an arbitrary number of gates. In view of the previous results, it suffices to establish this fact for linear functions.
Keywords: logic circuit, self-correction, unreliable gate, linear Boolean function.
@article{MZM_2024_115_1_a6,
     author = {K. A. Popkov},
     title = {Implementation of {Linear} {Boolean} {Functions} by {Self-Correcting} {Circuits} of {Unreliable} {Logic} {Gates}},
     journal = {Matemati\v{c}eskie zametki},
     pages = {91--107},
     publisher = {mathdoc},
     volume = {115},
     number = {1},
     year = {2024},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MZM_2024_115_1_a6/}
}
TY  - JOUR
AU  - K. A. Popkov
TI  - Implementation of Linear Boolean Functions by Self-Correcting Circuits of Unreliable Logic Gates
JO  - Matematičeskie zametki
PY  - 2024
SP  - 91
EP  - 107
VL  - 115
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MZM_2024_115_1_a6/
LA  - ru
ID  - MZM_2024_115_1_a6
ER  - 
%0 Journal Article
%A K. A. Popkov
%T Implementation of Linear Boolean Functions by Self-Correcting Circuits of Unreliable Logic Gates
%J Matematičeskie zametki
%D 2024
%P 91-107
%V 115
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MZM_2024_115_1_a6/
%G ru
%F MZM_2024_115_1_a6
K. A. Popkov. Implementation of Linear Boolean Functions by Self-Correcting Circuits of Unreliable Logic Gates. Matematičeskie zametki, Tome 115 (2024) no. 1, pp. 91-107. http://geodesic.mathdoc.fr/item/MZM_2024_115_1_a6/