Assertion: factorial function | /r/HasProperty | represented by sentence
Facets:
value: in propositional logic
type: OTHER
value: as multivariate polynomials over gf(2
type: OTHER
value: often
type: TEMPORAL
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).