Question Al. (a) Explain the concept of Ordered Binary Decision Diagrams (OBDDs) and list examples of their applications in high-level synthesis. [5 marks] (b) Represent the Boolean function $f(a, b, c)=a b \bar{c}+a \bar{b} c$ in conjunctive normal form and produce an OBDD for this function. [5 marks] CS.VS.982||