MINIMIZING THE MULTILEVEL REPRESENTATIONS OF SYSTEMS OF BOOLEAN FUNCTIONS BASED ON SHANNON DECOMPOSITION
A locally optimal algorithm is proposed to form a permutation of variables, which are used to obtain successive Shannon decompositions of a system of disjunctive normal forms of completely specified Boolean functions. The goal of it is a multilevel representation of functions which is called a reduc...
Main Authors: | P. N. Bibilo, Y. Y. Lankevich |
---|---|
Format: | Article |
Language: | Russian |
Published: |
The United Institute of Informatics Problems of the National Academy of Sciences of Belarus
2017-06-01
|
Series: | Informatika |
Online Access: | https://inf.grid.by/jour/article/view/211 |
Similar Items
-
Logical optimization the multilevel representations of systems of Boolean functions based on partitioning into blocksand Shannon decomposition
by: P. N. Bibilo, et al.
Published: (2018-09-01) -
Logical optimization of Boolean nets using Shannon expansion
by: P. N. Bibilo, et al.
Published: (2019-06-01) -
Minimization of binary decision diagrams for systems of completely defined Boolean functions using Shannon expansions and algebraic representations of cofactors
by: P. N. Bibilo, et al.
Published: (2021-07-01) -
The search for subsystems of related functions from multilevel representation of systems of Boolean functions1
by: P. N. Bibilo, et al.
Published: (2020-03-01) -
Experimental comparison of the effectiveness of programs for minimizing systems of Boolean functions in the class of disjunctive normal forms
by: P. N. Bibilo, et al.
Published: (2022-06-01)