Binary Decision Diagram

Binary decision diagram is a data structure which is used to signify a Boolean function. On a much more abstract level, BDDs may very well be as a condensed representation of units or relations. Unlike other compressed representations, operations are performed upon the compressed portrayal, i. e. with out decompression. Other data structures helpful to represent a Boolean function include negation standard form, propositional guided acyclic graph.