Propositional directed acyclic graph

From Wikipedia, the free encyclopedia