BDDs (binary decision diagrams) is a DAG (Directed Acyclic Graph) that represents a Boolean function.