Diagrama de decisión binario

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.