Diagrama de decisión binario

En ciencias de la computación, un diagrama de decisión binario (DDB), tal como una forma normal de negación (FNN) o un grafo acíclico dirigido proposicional (GADP), es una estructura de datos utilizada para representar una función booleana. A un nivel más abstracto, los DDBs pueden ser considerados como una representación comprimida de conjuntos o relaciones. A diferencia de otras representaciones comprimidas, las operaciones se realizan directamente en los DDB, sin necesidad de descomprimirlos.