Programming, Binary Decision Diagrams, Computer Science, Boolean.
known as a “Free BDD”). This property keeps the diagram organized, but more importantly, it will allow us to do some clever trimming of the BDD. Even the ordered BDD is somewhat redundant. Let’s look back at the simpler one. BDD for f = ~a OR b Once we know a = 0, we know that f will evaluate to