Source: wikibot/propositional-directed-acyclic-graph

= Propositional directed acyclic graph
{wiki=Propositional_directed_acyclic_graph}