Аннотация:В дипломной работе выделены некоторые классы булевых функций, зависящих от n переменных, сложность которых в классе OBDD равна n. Показано, как устроены оптимальные порядки переменных для OBDD этих функций. Доказаны теоремы о сложности OBDD булевых функций некоторых видов при смешивающих и несмешивающих порядках переменных. Доказана точная оценка сложности одной последовательности булевых функций в классе OBDD.