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