No campo da ciência da computação, um diagrama ordenado 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.