В данной работе мы предлагаем структуры данных для представления конечнозначных функций и матриц --- многокорневые бинарные решающие диаграммы (MRBDD), а также алгоритмы выполнения некоторых операций (сумма, произведение, суперпозиция, сравнение) над объектами в этом представлении. За счет более эффективного повторного использования элементов структуры многокорневые бинарные решающие диаграммы обеспечивают более компактное представление по сравнению с широкораспространенными многотерминальными бинарными решающими диаграммами MTBDD, что подтверждается экспериментальными результатами. Предложенный подход реализован авторами в рамках библиотеки BddFunctions, предоставляющей гибкий объектно-ориентированный C++ интерфейс для работы с функциями, матрицами и множествами.