Binary Decision Diagram

BDD (Binary Decision Diagram) is a DAG (Directed Acyclic Graph). A node represents a logic function. A out-going directed edge is associated with the output of the node. Looked like a state machine ha?