|
Mathematics
Minimization of representations of the logical function in Schaeffer and Pierce bases
V. V. Menshikh, V. A. Nikitenko Voronezh Institute of the Ministry of Internal Affairs of Russia, Voronezh, Russian Federation
Abstract:
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.
Received: 18.07.2022
Citation:
V. V. Menshikh, V. A. Nikitenko, “Minimization of representations of the logical function in Schaeffer and Pierce bases”, Vestn. Yuzhno-Ural. Gos. Un-ta. Ser. Matem. Mekh. Fiz., 14:4 (2022), 20–27
Linking options:
https://www.mathnet.ru/eng/vyurm533 https://www.mathnet.ru/eng/vyurm/v14/i4/p20
|
Statistics & downloads: |
Abstract page: | 73 | Full-text PDF : | 16 | References: | 23 |
|