Propositional directed acyclic graph
[sr] Исказни усмерени ациклични граф