Node count. https://en.wikipedia.org/wiki/Binary_decision_d… Twetch · March 1, 2021 Node count.https://en.wikipedia.org/wiki/Binary_decision_diagram