bdd

• binary decision diagrams (ikili karar diyagramları). boole fonksiyonlarını bilgisayar ortamında modellemek için kullanılan bir veri yapısı^*.
  
  bu veri yapısında boole fonksiyonlar üzerine yapılan temel boole işlemlerin süresi polinomsal zamandadır. bu yüksek hıza karşılık, büyük bellek ister. günümüzde elektronik tümdevre tasarımında kullanılan birçok bilgisayar programlarında, elektronik devreler bdd yapısında tanımlanmaktadır.