Minimization of binary decision diagrams for systems of incompletely defined Boolean functions

Algorithms for minimizing multilevel representations of systems of incompletely defined Boolean functions for various initial functional forms are proposed. The multilevel representations are based on the Shannon decomposition. Results of experimental studies indicate that the proposed algorithms are efficient for synthesizing logic circuits of library elements.