Для цитирования:

Бибило П.Н., Романов В.И. Минимизация многоуровневых представлений систем полностью определенных булевых функций с использованием разложений Шеннона и алгебраических представлений кофакторов. Информатика. 2021;18(2):7-32. https://doi.org/10.37661/1816-0301-2021-18-2-7-32

For citation:

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