ROBDD: Reduced Order Binary Decision Diagrams

Problem 5 120 points] BDDs Part 2 of 2 Consider the same three functions defined in Problem 4 Pla,b.c)-(a bb+cac) R(a,b.c)-ab+a'b+a'b'c This problem is to construct certain new ROBDDs, all using the same top-to-bottom variable (or, if needed function) ordering a, b, c, P.Q.R, S, T (a) [5 points] Use the apply algorithm to construct a single-rooted ROBDD for the function S - P.R where"." denotes AND. Show the main steps in your application of AND. Also give the corresponding unique table with entries in the form (x, 0-child, 1-child) used in Lecture 7 b) [5 points] Repeat Part (a), this time to construct a single-rooted ROBDD for T P.0 (c) [10 points] Using the concept of characteristic function, construct a single-rooted ROBDD for the function Za.b.c,S,T) that represents the two functions S and Tdefined in Parts (a) and (b) simultaneously Problem 5 120 points] BDDs Part 2 of 2 Consider the same three functions defined in Problem 4 Pla,b.c)-(a bb+cac) R(a,b.c)-ab+a'b+a'b'c This problem is to construct certain new ROBDDs, all using the same top-to-bottom variable (or, if needed function) ordering a, b, c, P.Q.R, S, T (a) [5 points] Use the apply algorithm to construct a single-rooted ROBDD for the function S - P.R where"." denotes AND. Show the main steps in your application of AND. Also give the corresponding unique table with entries in the form (x, 0-child, 1-child) used in Lecture 7 b) [5 points] Repeat Part (a), this time to construct a single-rooted ROBDD for T P.0 (c) [10 points] Using the concept of characteristic function, construct a single-rooted ROBDD for the function Za.b.c,S,T) that represents the two functions S and Tdefined in Parts (a) and (b) simultaneously