Описание тега binary-decision-diagram
В области информатики диаграмма двоичных решений (BDD) или программа ветвления, такая как нормальная форма отрицания (NNF) или пропозиционально направленный ациклический граф (PDAG), представляет собой структуру данных, которая используется для представления булевой функции. На более абстрактном уровне BDD можно рассматривать как сжатое представление наборов или отношений.
Статья Википедии: http://en.wikipedia.org/wiki/Binary_decision_diagram
Введение в двоичные диаграммы решений, Хенрик Райф Андерсен [PDF]: http://www.cs.unb.ca/~gdueck/courses/cs4835/bdd97.pdf
Развлечение с двоичными диаграммами решений, Дональд Кнут [Видео]: http://myvideos.stanford.edu/player/slplayer.aspx?coll=ea60314a-53b3-4be2-8552-dcf190ca0c0b&co=18bcd3a8-965a-4a63-a511-a1ad=af правда