булева-алгебра - Построение бинарной диаграммы решения

Эта фраза означает, что у построенного семантического дерева внизу есть много узлов, соответствующих одному и тому же значению функции. А именно, там половина нулей и половина единиц. Вместо этого заводим один узел, помеченный нулём, и один узел, помеченный единицей. Все нижние рёбра, которые шли раньше к узлам с меткой 0, будут теперь идти к одному Нулевому Узлу, и аналогично для метки 1 и одного Единичного Узла. При этом, конечно, получится уже не дерево, а граф более общего вида.

То же самое можно было бы описать так: отождествим все нижние вершины, помеченные нулём, сделав из них одну, а также все нижние вершины, помеченные единицей.

Добавление. Ваш пример совсем простой. Это функция $%f(x,y,z)=z$%, зависящая только от $%z$%. Итог там будет такой: все вершины типа $%y$% склеиваются, все вершины типа $%z$% тоже склеиваются. А $%z$% в кружочке соединена двумя стрелочками с нулевым и единичным узлом. Новый граф будет иметь 5 узлов.