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