I fältet i datavetenskap är en ordnad binära beslut diagrammet (BDD) en datastruktur som representerar en boolesk funktion. Det är en komprimerad återgivning av uppsättningar eller förbindelser. Till skillnad från andra komprimerade representationer, åtgärder utförs direkt på den komprimerade representationen, dvs utan dekompression.