Disjunctive and conjunctive decompositions of incompletely defined Boolean functions in a Binary Decision Diagram

Objectives. The problems of minimizing the number of cofactors (subfunctions) of the Shannon expansions located at the same level of the BDD, representing a system of incompletely defined (partial) Boolean functions, are considered. To reduce the number of functions, it is proposed to find a subset...

Full description

Bibliographic Details
Published in:	Informatika
Main Author:	P. N. Bibilo
Format:	Article
Language:	Russian
Published:	National Academy of Sciences of Belarus, the United Institute of Informatics Problems 2025-03-01
Subjects:	system of partial boolean functions additional definition of a partial boolean function binary decision diagram algebraic decompositions of boolean functions shannon expansion sat-problem
Online Access:	https://inf.grid.by/jour/article/view/1321

Similar Items

Technology independent optimization when implementing sparse systems of disjunctive normal forms of Boolean functions in ASIC
by: P. N. Bibilo, et al.
Published: (2024-03-01)

A method for bi-decomposition of partial Boolean functions
by: Yu. V. Pottosin
Published: (2019-12-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)

Application of decision diagrams of incompletely specified of k-valued logic functions in the synthesis of logical circuits
by: P. N. Bibilo
Published: (2023-06-01)

Logical optimization of Boolean nets using Shannon expansion
by: P. N. Bibilo, et al.
Published: (2019-06-01)

Coexistence of Periods in Parallel and Sequential Boolean Graph Dynamical Systems over Directed Graphs
by: Juan A. Aledo, et al.
Published: (2020-10-01)

A heuristic method for bi-decomposition of partial Boolean functions
by: Yu. V. Pottosin
Published: (2020-09-01)

Algorithms for extracting subsystems from a multilevel representation of a system of Boolean functions for joint minimization
by: P. N. Bibilo, et al.
Published: (2024-12-01)

Extended algebraic immunity of symmetric Boolean function
by: Gao-fei WU, et al.
Published: (2014-11-01)

Extended algebraic immunity of symmetric Boolean function
by: Gao-fei WU, et al.
Published: (2014-11-01)

A heuristic method for multi-block parallel decomposition of a system of partial Boolean functions
by: Yu. V. Pottosin
Published: (2018-12-01)

On Resilient Boolean and Vectorial Boolean Functions with High Nonlinearity
by: Luyang Li, et al.
Published: (2022-12-01)

Novel Approach to Degree, Balancedness, and Affine Equivalence of Boolean Functions and Construction of a Special Class of Non-Quadratic Balanced Boolean Functions
by: Sunil Kumar, et al.
Published: (2025-08-01)

On the Lyapunov Exponent of Monotone Boolean Networks <sup>†</sup>
by: Ilya Shmulevich
Published: (2020-06-01)

Low‐complexity algorithms for generating frequency hopping sequences with good aperiodic hamming correlation property
by: Shifu Yang, et al.
Published: (2024-09-01)

Binary decision diagram‐based synthesis technique for improved mapping of Boolean functions inside memristive crossbar‐slices
by: Anindita Chakraborty, et al.
Published: (2021-03-01)

Transformation Method for Solving System of Boolean Algebraic Equations
by: Dostonjon Barotov, et al.
Published: (2021-12-01)

Nonlinearity of incomplete Boolean functions: prioritizing spectra calculation
by: Piotr Porwik
Published: (2022-12-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)

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)

Class of constructions of even variables Boolean function with optimum algebraic immunity
by: CHEN Yin-dong, et al.
Published: (2009-01-01)

Class of constructions of even variables Boolean function with optimum algebraic immunity
by: CHEN Yin-dong, et al.
Published: (2009-01-01)

Gelfand theorem implies Stone representation theorem of Boolean rings
by: Parfeny P. Saworotnow
Published: (1995-01-01)

A Lower Bound of Fast Algebraic Immunity of a Class of 1-Resilient Boolean Functions
by: Yindong Chen, et al.
Published: (2019-01-01)

Dictionary Encoding Based on Tagged Sentential Decision Diagrams
by: Deyuan Zhong, et al.
Published: (2024-01-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)

Concave Continuations of Boolean Functions and Some of Their Properties and Applications
by: D. N. Barotov
Published: (2024-09-01)

Masking of Internal Nodes Faults Based on Applying of Incompletely Specified Boolean Functions
by: Matrosova, Angela Yu., et al.
Published: (2020-11-01)

Further constructions of bent functions and their duals
by: Yanjun Li, et al.
Published: (2021-01-01)

Optimized Homomorphic Evaluation of Boolean Functions
by: Nicolas Bon, et al.
Published: (2024-07-01)

TeDDy: Templated decision diagram library
by: Michal Mrena, et al.
Published: (2024-05-01)

Classification of All t-Resilient Boolean Functions with t + 4 Variables
by: Shahram Rasoolzadeh
Published: (2023-09-01)

Construction and count of resilient rotation symmetric Boolean functions with prime number variables
by: Jiao DU, et al.
Published: (2013-03-01)

Two open problems about the liner structure of rotation symmetric Boolean functions
by: Ya-qun ZHAO, et al.
Published: (2013-03-01)

Two open problems about the liner structure of rotation symmetric Boolean functions
by: Ya-qun ZHAO, et al.
Published: (2013-03-01)

Construction and count of resilient rotation symmetric Boolean functions with prime number variables
by: Jiao DU, et al.
Published: (2013-03-01)

Application of Election Functions to Estimate the Number of Monotone Self-Dual Boolean functions
by: Leonid Y. Bystrov, et al.
Published: (2022-06-01)

Addendum to Classification of All t-Resilient Boolean Functions with t + 4 Variables
by: Shahram Rasoolzadeh
Published: (2024-09-01)

Boolean feedback functions for full-length nonlinear shift registers
by: Izabela Janicka-Lipsk, et al.
Published: (2004-12-01)

On central Boolean rings and Boolean type fuzzy ideals
by: Hamsa Nayak, et al.
Published: (2019-10-01)