PDAG, BDD, and NNF
Every binary decision diagram (BDD) and every negation normal form (NNF) are also a PDAG with some particular properties. The following pictures represent the Boolean function :
Read more about this topic: Propositional Directed Acyclic Graph