Geodesic
Repetition-free functions of the algebra of logic in pre-elementary
Algebra i logika, Tome 58 (2019) no. 2, pp. 271-284.

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

Functions of the algebra of logic that can be realized by repetition-free formulas over finite bases are studied. Necessary and sufficient conditions are derived under which functions of the algebra of logic are repetition-free in pre-elementary bases $\{-,\cdot,\vee,0,1,x_1\cdot\ldots\cdot x_n\vee \bar{x}_1\cdot\ldots\cdot \bar{x}_n\}$ and $\{-,\cdot,\vee,0,1,x_1(x_2\vee x_3\cdot\ldots\cdot x_n)\vee x_2\bar{x}_3 \cdot\ldots\cdot\bar{x}_n\}$ where $n\geq 4$. This completes the description of classes of repetition-free functions of the algebra of logic in all pre-elementary bases.
Keywords: functions of algebra of logic, repetition-free function, pre-elementary basis
Mots-clés : formula. 
@article{AL_2019_58_2_a7,
     author = {I. K. Sharankhaev},
     title = {Repetition-free functions of the algebra of logic in pre-elementary},
     journal = {Algebra i logika},
     pages = {271--284},
     publisher = {mathdoc},
     volume = {58},
     number = {2},
     year = {2019},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/AL_2019_58_2_a7/}
}
TY  - JOUR
AU  - I. K. Sharankhaev
TI  - Repetition-free functions of the algebra of logic in pre-elementary
JO  - Algebra i logika
PY  - 2019
SP  - 271
EP  - 284
VL  - 58
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/AL_2019_58_2_a7/
LA  - ru
ID  - AL_2019_58_2_a7
ER  - 
%0 Journal Article
%A I. K. Sharankhaev
%T Repetition-free functions of the algebra of logic in pre-elementary
%J Algebra i logika
%D 2019
%P 271-284
%V 58
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/AL_2019_58_2_a7/
%G ru
%F AL_2019_58_2_a7
I. K. Sharankhaev. Repetition-free functions of the algebra of logic in pre-elementary. Algebra i logika, Tome 58 (2019) no. 2, pp. 271-284. http://geodesic.mathdoc.fr/item/AL_2019_58_2_a7/

[1] B. A. Subbotovskaya, “O sravnenii bazisov pri realizatsii funktsii algebry logiki formulami”, Dokl. AN SSSR, 149:4 (1963), 784–787 | MR | Zbl

[2] D. Yu. Cherukhin, “Algoritmicheskii kriterii sravneniya bulevykh bazisov”, Matem. vopr. kibern., 8, 1999, 77–122 | MR | Zbl

[3] I. K. Sharankhaev, “O realizatsii bulevykh funktsii bespovtornymi formulami v odnom bazise”, Sib. matem. zh., 50:1 (2009), 231–237 | MR | Zbl

[4] N. A. Peryazev, Osnovy teorii bulevykh funktsii, Fizmatlit, M., 1999

[5] I. K. Sharankhaev, “O bespovtornykh bulevykh funktsiyakh v predelementarnykh monotonnykh bazisakh”, Diskret. matem., 21:2 (2009), 88–93 | DOI | MR | Zbl

[6] K. D. Kirichenko, “O kriteriyakh bespovtornosti bulevykh funktsii v razlichnykh bazisakh”, Optimizatsiya, upravlenie, intellekt, 4, Irkutsk, 2000, 93–101

[7] K. D. Kirichenko, “Slabopovtornye bulevy funktsii v nekotorykh predelementarnykh bazisakh”, Diskret. matem. inform., 13, Irkut. un-t, Irkutsk, 2000

[8] I. K. Sharankhaev, “O klassifikatsii bazisov bulevykh funktsii”, Vestnik Buryat. gos. un-ta. Ser. 13, 2006, no. 3, 61–67

[9] N. A. Peryazev, I. K. Sharankhaev, “Kriterii bespovtornosti bulevykh funktsii v predelementarnykh bazisakh ranga 3”, Diskret. matem., 17:2 (2005), 127–138 | DOI | MR | Zbl

[10] I. K. Sharankhaev, “O bespovtornykh bulevykh funktsiyakh v nekotorykh bazisakh”, Vestnik Buryat. gos. un-ta, 2010, no. 9, 237–243