(en.wikipedia.org) Binary decision diagram - Wikipedia

ROAM_REFS: https://en.wikipedia.org/wiki/Binary_decision_diagram

In computer science, a binary decision diagram (BDD) or branching program is a data structure that is used to represent a Boolean function. On a more abstract level, BDDs can be considered as a compressed representation of sets or relations. Unlike other compressed representations, operations are performed directly on the compressed representation, i.e. without decompression.

Similar data structures include negation normal form (NNF), Zhegalkin polynomials, and propositional directed acyclic graphs (PDAG).

Local Graph

org-roam 137cb622-f9e0-48d7-b2e5-d4a1348d8cf1 (en.wikipedia.org) Binary decision di... //en.wikipedia.org/wiki/Computer_science https://en.wikipedia.org/wiki/Computer_science 137cb622-f9e0-48d7-b2e5-d4a1348d8cf1->//en.wikipedia.org/wiki/Computer_science //en.wikipedia.org/wiki/Data_structure https://en.wikipedia.org/wiki/Data_structure 137cb622-f9e0-48d7-b2e5-d4a1348d8cf1->//en.wikipedia.org/wiki/Data_structure //en.wikipedia.org/wiki/Boolean_function https://en.wikipedia.org/wiki/Boolean_function 137cb622-f9e0-48d7-b2e5-d4a1348d8cf1->//en.wikipedia.org/wiki/Boolean_function //en.wikipedia.org/wiki/Data_compression https://en.wikipedia.org/wiki/Data_compression 137cb622-f9e0-48d7-b2e5-d4a1348d8cf1->//en.wikipedia.org/wiki/Data_compression //en.wikipedia.org/wiki/Set_(mathematics) https://en.wikipedia.org/wiki/Set_(mathematics) 137cb622-f9e0-48d7-b2e5-d4a1348d8cf1->//en.wikipedia.org/wiki/Set_(mathematics) //en.wikipedia.org/wiki/Relation_(mathematics) https://en.wikipedia.org/wiki/Relation_(mathematics) 137cb622-f9e0-48d7-b2e5-d4a1348d8cf1->//en.wikipedia.org/wiki/Relation_(mathematics) //en.wikipedia.org/wiki/Negation_normal_form https://en.wikipedia.org/wiki/Negation_normal_form 137cb622-f9e0-48d7-b2e5-d4a1348d8cf1->//en.wikipedia.org/wiki/Negation_normal_form //en.wikipedia.org/wiki/Zhegalkin_polynomial https://en.wikipedia.org/wiki/Zhegalkin_polynomial 137cb622-f9e0-48d7-b2e5-d4a1348d8cf1->//en.wikipedia.org/wiki/Zhegalkin_polynomial //en.wikipedia.org/wiki/Propositional_directed_acyclic_graph https://en.wikipedia.org/wiki/Propositional_directed_acyclic_graph 137cb622-f9e0-48d7-b2e5-d4a1348d8cf1->//en.wikipedia.org/wiki/Propositional_directed_acyclic_graph