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

Saved in:

Bibliographic Details
Published in:	Informatika (Minsk, Belarus) Vol. 22; no. 1; pp. 40 - 65
Main Author:	Bibilo, P. N.
Format:	Journal Article
Language:	English Russian
Published:	National Academy of Sciences of Belarus, the United Institute of Informatics Problems 31.03.2025
Subjects:	additional definition of a partial boolean function algebraic decompositions of boolean functions binary decision diagram sat-problem shannon expansion system of partial boolean functions
ISSN:	1816-0301, 2617-6963
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!