BDD-ն երկուական լուծումների դիագրամների (Binary Decision Diagrams, BDD)` գրաֆ է, որը հանդիսանում է սեմանտիկ ծառերի մոդիֆիկացում: BDD-ներում ֆունկցիայի միևնույն արժեքով հանգույցները միացված են: BDD-ները օգտագործում են որպես բուլյան ֆունկցիաների ներկայացման կոմպակտ ձև: Այս ներկայացման ձևը արդարացված է այն դեպքում, երբ պետք է բազմակի անգամ հաշվարկել բուլյան ֆունկցիայի արժեքը փոփոխականների տարբեր հավաքածուների համար: