A un nivel más abstracto, los DDBs pueden ser considerados como una representación comprimida de conjuntos o relaciones.
La arista que une un nodo con un hijo menor (mayor) representa una asignación de la variable con el valor 0 (1).
Un camino desde el nodo raíz al terminal-1 representa una asignación de variables (posiblemente parcial) para la cual la función booleana es verdadera.
Una función booleana se divide en dos sub-funciones (cofactores) mediante la incorporación de una variable (cf.
[6][7] Así se definió la estructura de datos Diagrama de decisión binario reducido ordenado y compartido (en inglés «Shared Reduced Ordered Binary Decision Diagram»), que permite que un sub-grafo sea utilizado por varios DDBs.