Assertion: function's graph | /r/HasProperty | pdag
Facets:
Source sentences:
text: Boolean functions are often represented by sentences in propositional logic, and sometimes as multivariate polynomials over GF(2), but more efficient representations are binary decision diagrams (BDD), negation normal forms, and propositional directed acyclic graphs (PDAG).