Bdd, Binary Decision Diagrams, Software Verification, Model Checking, Boolean Function.
Boolean function for the assignment consisting of the labels on the path from the root that ends with it. An Edge - An exiting dotted line arrow represents that variable xᵢ has the Boolean value of false (i.e., 0), while a thick-line arrow represents that it has the value true (i.e., 1). A Path -