İkili karar diyagramı
Bilgisayar biliminde, ikili karar diyagramı (BDD) veya dallanma programı, bir veri yapısı olup Boolean fonksiyonunu temsil etmek için kullanılır. Daha soyut bir düzeyde, BDD’ler kümelerin veya ilişkilerin sıkıştırılmış bir gösterimi olarak düşünülebilir. Diğer sıkıştırılmış gösterimlerden farklı olarak, işlemler sıkıştırılmış hali üzerinde doğrudan, yani açılmadan gerçekleştirilir.