Діаграма двійкових рішень

Діаграми двійкових рішень (BDD) є канонічним, ефективним за пам'яттю представленням булевих функцій, розробленим Рендалом Браянтом у 1986 році. BDD — це спрямований ациклічний граф, що кодує всі присвоєння змінних та результати; зведені BDD є унікальними для кожної функції та забезпечують ефективне маніпулювання комбінаторною логікою в перевірці моделей, проєктуванні схем та символьних обчисленнях.