On the structure, complexity, and depth of the circuits over the basis $\{ \, \vee\} $ realizing step Boolean functions
Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, Tome 162 (2020) no. 3, pp. 335-349
Voir la notice du chapitre de livre provenant de la source Math-Net.Ru
The step Boolean function is a function of the algebra of logic of $n$ Boolean variables, $n =1,2,\ldots$, reducing to $1$ on all of the sets of an $n$-dimensional unit cube, the ordinal numbers of which are not lower than the given set. In this paper, the problem of synthesis of circuits over the basis $\{ \, \vee\} $ realizing step Boolean functions was considered. The optimized structure of the given circuits was studied with regard to complexity and depth. Step functions often appear in theoretical and applied tasks as an auxiliary subfunctions. For instance, an $n$-bit adder contains such a subfunction.
Keywords:
Boolean circuits, basis $\{ \&, \vee\} $, step Boolean functions, complexity and depth minimization, structure of minimal circuits.
@article{UZKU_2020_162_3_a7,
author = {S. A. Lozhkin and D. S. Kinzhikeyeva},
title = {On the structure, complexity, and depth of the circuits over the basis $\{ \&, \vee\} $ realizing step {Boolean} functions},
journal = {U\v{c}\"enye zapiski Kazanskogo universiteta. Seri\^a Fiziko-matemati\v{c}eskie nauki},
pages = {335--349},
publisher = {mathdoc},
volume = {162},
number = {3},
year = {2020},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/UZKU_2020_162_3_a7/}
}
TY - JOUR
AU - S. A. Lozhkin
AU - D. S. Kinzhikeyeva
TI - On the structure, complexity, and depth of the circuits over the basis $\{ \&, \vee\} $ realizing step Boolean functions
JO - Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
PY - 2020
SP - 335
EP - 349
VL - 162
IS - 3
PB - mathdoc
UR - http://geodesic.mathdoc.fr/item/UZKU_2020_162_3_a7/
LA - ru
ID - UZKU_2020_162_3_a7
ER -
%0 Journal Article
%A S. A. Lozhkin
%A D. S. Kinzhikeyeva
%T On the structure, complexity, and depth of the circuits over the basis $\{ \&, \vee\} $ realizing step Boolean functions
%J Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki
%D 2020
%P 335-349
%V 162
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/UZKU_2020_162_3_a7/
%G ru
%F UZKU_2020_162_3_a7
S. A. Lozhkin; D. S. Kinzhikeyeva. On the structure, complexity, and depth of the circuits over the basis $\{ \&, \vee\} $ realizing step Boolean functions. Učënye zapiski Kazanskogo universiteta. Seriâ Fiziko-matematičeskie nauki, Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, Tome 162 (2020) no. 3, pp. 335-349. http://geodesic.mathdoc.fr/item/UZKU_2020_162_3_a7/