propositional directed acyclic graph

data structure that is used to represent a Boolean function