(a) _OBDD
(b) _OBDD
(c) _OBDD
Figure 5: _OBDD in MFN_OBDD: (a)–(c) _OBDD()–_OBDD.