Nel campo dell'informatica, un diagramma binario ordinato di decisione (BDD) è una struttura di dati che rappresenta una funzione booleana. è una rappresentazione compressa di insiemi o relazioni. a differenza di altre rappresentazioni compressi, le operazioni vengono eseguite direttamente sulla rappresentazione compressa, cioè senza decompressione.