bináris döntési diagram (BDD)

Rövid szöveges bemutatás: 
A bináris döntési diagram, egy Boole kifejezést, függvényt egy faként ábrázol. Bináris a fa, hiszen minden csomópont csak két értéket vehet fel, 0-t vagy 1-t. A döntési fa a függvény egy ábrázolási formája. A másik lehetőség a táblázatos formában történő reprezentáció. Egy három változós döntési fa a mellékelt ábrán látható, amely (x1 ÉS (/x2 VAGY x3)) függvényt ábrázolja.