В работе рассматривается задача троичного моделированргя комбинационных схем. Она сводится к задаче вычисления значения интервального расширения булевой функции на интервале, представленном троичным вектором. Предлагается решение, основанное на представлении булевой функции ROBDD графом. Оно позволяет