Minimization of representations of the logical function in Schaeffer and Pierce bases
Vestnik Ûžno-Uralʹskogo gosudarstvennogo universiteta. Seriâ, Matematika, mehanika, fizika, Tome 14 (2022) no. 4, pp. 20-27 Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

The paper studies the representation of arbitrary logical functions in Schaeffer and Pierce bases. For this purpose, recurrent dependencies of the representation of disjunctive and conjunctive monomials in these bases were initially established. Then generalizations were made to the arbitrary logical formulas presented in the form of disjunctive and conjunctive normal forms. Estimates were obtained for the number of operations in logical formulas during the transition to the Schaeffer and Pierce bases.
Keywords: disjunctive monomial, conjunctive monomial, Schaeffer's basis, Pierce's basis, Boolean variable, Boolean function.
@article{VYURM_2022_14_4_a2,
     author = {V. V. Menshikh and V. A. Nikitenko},
     title = {Minimization of representations of the logical function in {Schaeffer} and {Pierce} bases},
     journal = {Vestnik \^U\v{z}no-Uralʹskogo gosudarstvennogo universiteta. Seri\^a, Matematika, mehanika, fizika},
     pages = {20--27},
     year = {2022},
     volume = {14},
     number = {4},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VYURM_2022_14_4_a2/}
}
TY  - JOUR
AU  - V. V. Menshikh
AU  - V. A. Nikitenko
TI  - Minimization of representations of the logical function in Schaeffer and Pierce bases
JO  - Vestnik Ûžno-Uralʹskogo gosudarstvennogo universiteta. Seriâ, Matematika, mehanika, fizika
PY  - 2022
SP  - 20
EP  - 27
VL  - 14
IS  - 4
UR  - http://geodesic.mathdoc.fr/item/VYURM_2022_14_4_a2/
LA  - ru
ID  - VYURM_2022_14_4_a2
ER  - 
%0 Journal Article
%A V. V. Menshikh
%A V. A. Nikitenko
%T Minimization of representations of the logical function in Schaeffer and Pierce bases
%J Vestnik Ûžno-Uralʹskogo gosudarstvennogo universiteta. Seriâ, Matematika, mehanika, fizika
%D 2022
%P 20-27
%V 14
%N 4
%U http://geodesic.mathdoc.fr/item/VYURM_2022_14_4_a2/
%G ru
%F VYURM_2022_14_4_a2
V. V. Menshikh; V. A. Nikitenko. Minimization of representations of the logical function in Schaeffer and Pierce bases. Vestnik Ûžno-Uralʹskogo gosudarstvennogo universiteta. Seriâ, Matematika, mehanika, fizika, Tome 14 (2022) no. 4, pp. 20-27. http://geodesic.mathdoc.fr/item/VYURM_2022_14_4_a2/

[1] V.A. Gorbatov, Fundamentalnye osnovy diskretnoi matematiki, Nauka, M., 2000, 540 pp. | MR

[2] O.P. Kuznetsov, Diskretnaya matematika dlya inzhenera, Izd-vo «Lan», SPb., 2009, 394 pp.

[3] V.V. Menshikh, A.N. Kopylov, V.A. Kucher, S.A. Telkova, Diskretnaya matematika, uchebnik, Voronezhskii institut MVD Rossii, Voronezh, 2016, 228 pp.