Nel campo dell'informatica, un diagramma binario ridotto 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.

Nell'uso popolare, il termine ridotto ordinato diagramma di decisione binaria (ROBDD) è usato come sinonimo di diagramma ordinato decisione binaria (ROBDD), ma con enfatizzati aspetti di ordine e riduzione.