Criteria for Boolean functions to be repetition-free in pre-elementary bases of rank~3
Diskretnaya Matematika, Tome 17 (2005) no. 2, pp. 127-138
Voir la notice de l'article provenant de la source Math-Net.Ru
We study representations of Boolean functions by formulas and
describe in terms of remainder functions the classes of repetition-free Boolean
functions in the pre-elementary bases
\begin{gather*}
\{\vee, \cdot, -, 0, 1, x_1x_2x_3 \vee \bar{x}_1\bar{x}_2\bar{x}_3\},
\qquad
\{\vee, \cdot, -, 0, 1, x_1(x_2 \vee x_3) \vee x_2x_3\},\\
\{\vee, \cdot, -, 0, 1, x_1(x_2 \vee x_3) \vee x_2\bar{x}_3\}.
\end{gather*}
@article{DM_2005_17_2_a9,
author = {N. A. Peryazev and I. K. Sharankhaev},
title = {Criteria for {Boolean} functions to be repetition-free in pre-elementary bases of rank~3},
journal = {Diskretnaya Matematika},
pages = {127--138},
publisher = {mathdoc},
volume = {17},
number = {2},
year = {2005},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DM_2005_17_2_a9/}
}
TY - JOUR AU - N. A. Peryazev AU - I. K. Sharankhaev TI - Criteria for Boolean functions to be repetition-free in pre-elementary bases of rank~3 JO - Diskretnaya Matematika PY - 2005 SP - 127 EP - 138 VL - 17 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/DM_2005_17_2_a9/ LA - ru ID - DM_2005_17_2_a9 ER -
N. A. Peryazev; I. K. Sharankhaev. Criteria for Boolean functions to be repetition-free in pre-elementary bases of rank~3. Diskretnaya Matematika, Tome 17 (2005) no. 2, pp. 127-138. http://geodesic.mathdoc.fr/item/DM_2005_17_2_a9/