6.2 用二叉判决图验证组合电路的等价性
6.2.1 布尔函数的表示方法──二叉判决图
2. OBDD的操作