Tag: binary-decision-diagram

Auf dem Gebiet der Informatik ist ein binäres Entscheidungsdiagramm (BDD) oder Verzweigungsprogramm, wie eine Negationsnormalform (NNF) oder ein propositional gerichteter azyklischer Graph (PDAG), eine Datenstruktur, die verwendet wird, um eine Boolesche Funktion darzustellen. Auf einer abstrakteren Ebene können BDDs als komprimierte Repräsentation von Sätzen oder Relationen betrachtet werden.