О реализации функций алгебры логики BDD, вложенными в единичный кубтезисы доклада