Reduced Order Binary Decision Diagram (ROBDD) [Theory+Example]

Hey Comrades. In this video, I have explained in detail the construction of ROBDD. It is found in the MTech syllabus of Electronics specialization courses. I have also discussed the "Reduction rules". Apart from that, I have solved an example to provide more clarity into the topic. My other lecture videos are: Multivibrators https://www.youtube.com/playlist?list=PLv87vmTj1b7EgW4TilBnPf__LW0_dC1xq Oscillators https://youtu.be/HaVF3Ky7hTc XOR grouping in K maps https://youtu.be/pRc7FXBZRME Reed Muller Theory https://youtu.be/7kuK8r8DQJE You can watch it's previous lecture titled Binary Decision Diagram (BDD) here https://youtu.be/_C9yLZ2BGBA Timestamps: 0:38 Introduction 0:24 Reduction rules 6:47 Example ROBDD are useful for 1) verifying a logic function 2) finding complement of a logic function Keep learning Comrades. Feel free to connect with me here [email protected]