Binært beslutningsdiagram

Inden for datalogi er et binært beslutningsdiagram (eng. binary decision diagram, forkortet BDD) en datastruktur som effektivt repræsenterer en Boolsk funktion. På et mere abstrakt niveau kan BDD'er ses som komprimerede repræsentationer af matematiske mængder eller relationer. I modsætning til andre komprimerede repræsentationer af Boolske funktioner fungerer operationer direkte på BDD'er uden at man behøver at dekomprimere dem.

Se også

• Boolsk funktion
• Matematisk logik

Stub Denne artikel om datalogi eller et datalogi-relateret emne er kun påbegyndt. Hvis du ved mere om emnet, kan du hjælpe Wikipedia ved at udvide den.