En el camp de la informàtica, un diagrama ordenada decisió binari (BDD) és una estructura de dades que representa una funció booleana. És una representació dels conjunts o relacions comprimit. a diferència d'altres representacions comprimits, operacions es realitzen directament en la representació comprimida, és a dir, sense descompressió.