Source: wikibot/binary-decision-diagram
= Binary decision diagram
{wiki=Binary_decision_diagram}
A Binary Decision Diagram (BDD) is a data structure that is used to represent Boolean functions in a compact and efficient manner. BDDs provide a way to visualize and manipulate logical expressions, especially in the context of digital systems and formal verification.