Buy Me a Coffee at ko-fi.com

Propositional directed acyclic graph

data structure that is used to represent a Boolean function

Pronunciation
/ˌprɑpəˈzɪʃənl dəˈrɛktəd eɪˈsaɪklɪk ɡræf/
/prɒpəˈzɪʃənl dʌɪˈrɛktɪd eɪˈsɪklɪk ɡrɑːf/