Geodesic
Checking tests for superpositions of Boolean functions from elementary homogeneous functions
Diskretnaya Matematika, Tome 8 (1996) no. 2, pp. 117-132 
N. A. Solov'ev. Checking tests for superpositions of Boolean functions from elementary homogeneous functions. Diskretnaya Matematika, Tome 8 (1996) no. 2, pp. 117-132. http://geodesic.mathdoc.fr/item/DM_1996_8_2_a8/
@article{DM_1996_8_2_a8,
     author = {N. A. Solov'ev},
     title = {Checking tests for superpositions of {Boolean} functions from elementary homogeneous functions},
     journal = {Diskretnaya Matematika},
     pages = {117--132},
     year = {1996},
     volume = {8},
     number = {2},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_1996_8_2_a8/}
}
TY  - JOUR
AU  - N. A. Solov'ev
TI  - Checking tests for superpositions of Boolean functions from elementary homogeneous functions
JO  - Diskretnaya Matematika
PY  - 1996
SP  - 117
EP  - 132
VL  - 8
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/DM_1996_8_2_a8/
LA  - ru
ID  - DM_1996_8_2_a8
ER  - 
%0 Journal Article
%A N. A. Solov'ev
%T Checking tests for superpositions of Boolean functions from elementary homogeneous functions
%J Diskretnaya Matematika
%D 1996
%P 117-132
%V 8
%N 2
%U http://geodesic.mathdoc.fr/item/DM_1996_8_2_a8/
%G ru
%F DM_1996_8_2_a8

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

We consider the Shannon function for superpositions of Boolean functions of elementary homogeneous functions (constant, negation, conjunction, disjunction and addition modulo 2) which characterizes the length of the minimal checking test. We point out a class of the initial Boolean functions such that the Shannon function is attained on superpositions of those functions. A general approach to solving similar problems is suggested which is based on the analysis of the distinguishability tables.