No campo da ciência da computação, um diagrama de reduzida de decisão binária (BDD) é uma estrutura de dados que representa uma função booleana. é uma representação compactada de conjuntos ou relações. Ao contrário de outras representações compactadas, as operações são realizadas diretamente na representação da comprimido, ou seja, sem descompressão.

No uso popular, o termo reduzido ordenou diagrama de decisão binária (ROBDD) é usado como um sinônimo como diagrama de decisão binária ordenada (ROBDD), mas com enfatizou aspectos de ordenação e de redução.