For citations:
Bibilo P.N., Romanov V.I. Minimization of binary decision diagrams for systems of completely defined Boolean functions using Shannon expansions and algebraic representations of cofactors. Informatics. 2021;18(2):7-32. (In Russ.) https://doi.org/10.37661/1816-0301-2021-18-2-7-32