Sufficient Conditions for Realizability of Boolean Functions by Asymptotically Optimal Circuits with the Unreliability 2 epsilon

被引:2
作者
Alyokhina, M. A. [1 ]
Vasin, A. V. [1 ]
机构
[1] Penza State Univ, Ul Krasnaya 40, Penza 440026, Russia
关键词
unreliable functional elements; circuits asymptotically optimal with respect to reliability; inverse failures on outputs of elements; synthesis of circuits from unreliable elements;
D O I
10.3103/S1066369X10050099
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We consider realizations of Boolean functions by circuits composed of unreliable functional elements in some complete finite basis B. We assume that all elements independently of each other with the probability epsilon(epsilon is an element of (0; 1/2)) are subjected to inverse failures at the output. We construct Boolean functions phi(x1, x2, x3) such that the presence of at least one of them in the considered basis B guarantees the realizability of all three Boolean functions by circuits whose reliability does not exceed 2 epsilon + 144 epsilon(2) with epsilon <= 1/960. In addition, if B subset of B-3 \ G (B-3 is the set of all Boolean functions of three variables x1, x2, x3, and G is the set of Boolean functions such that each one of them is congruent either to x(1)(sigma 1) x(2)(sigma 2) boolean OR x(1)(sigma 1) x(3)(sigma 3) boolean OR x(2)(sigma 2) x(3)(sigma 3), or to x(1)(sigma 1) x(2)(sigma 2) circle plus x(3)(sigma 3), or to x(1)(sigma 1) x(2)(sigma 2) boolean OR x(2)(sigma 2) x(3)(sigma 3) (sigma(1), sigma(2), sigma(3) is an element of {0, 1})), then the presence of at least one of functions phi(x1, x2, x3) guarantees the realizability of almost all Boolean functions by asymptotically optimal (with respect to the reliability) circuits, whose unreliability equals 2 epsilon as epsilon -> 0.
引用
收藏
页码:68 / 70
页数:3
相关论文
共 5 条
  • [1] Aksyonov S. I., 2005, IZV VUZOV POVOLZHSKI, P42
  • [2] Alekhina M. A., 2009, UCHEN ZAP KAZANSK U, V151, P25
  • [3] Alyokhina M. A., 2009, P 13 INT WORKSH SYNT
  • [4] Alyokhina M. A., 2006, SYNTHESIS CIRCUITS A
  • [5] Vasin A. V., 2009, P 8 INT C DISCR MOD, P43