Geodesic
Minimal verifying tests of functions from the Post classes
Diskretnaya Matematika, Tome 5 (1993) no. 2, pp. 75-82 
O. A. Dolotova. Minimal verifying tests of functions from the Post classes. Diskretnaya Matematika, Tome 5 (1993) no. 2, pp. 75-82. http://geodesic.mathdoc.fr/item/DM_1993_5_2_a4/
@article{DM_1993_5_2_a4,
     author = {O. A. Dolotova},
     title = {Minimal verifying tests of functions from the {Post} classes},
     journal = {Diskretnaya Matematika},
     pages = {75--82},
     year = {1993},
     volume = {5},
     number = {2},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/DM_1993_5_2_a4/}
}
TY  - JOUR
AU  - O. A. Dolotova
TI  - Minimal verifying tests of functions from the Post classes
JO  - Diskretnaya Matematika
PY  - 1993
SP  - 75
EP  - 82
VL  - 5
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/DM_1993_5_2_a4/
LA  - ru
ID  - DM_1993_5_2_a4
ER  - 
%0 Journal Article
%A O. A. Dolotova
%T Minimal verifying tests of functions from the Post classes
%J Diskretnaya Matematika
%D 1993
%P 75-82
%V 5
%N 2
%U http://geodesic.mathdoc.fr/item/DM_1993_5_2_a4/
%G ru
%F DM_1993_5_2_a4

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

We study the behavior of the function $L(f)$ that is equal to the minimally sufficient number of sets forming a checking test for a Boolean function $f$ with respect to single constant errors in the case when the functions $f$ belong to Post classes. We indicate the possible values of $L(f)$ for various functions $f$ of each Post class.