使用边缘值二元决策图Edge-valued BDD（EVBDD）简化查找表，以二位全加器为例

查找表可以用二元决策图（二叉决策图/BDD）表示。通过合并相同节点和去除冗余节点可以简化查找表。
BDD简化方法：
1.合并任何同构子图。

2.消除其两个子节点是同构的任何节点。

BDD到EVBDD的转换方法：
规则1.对终节点的转化

规则2.对普通节点的转化

以二位全加器为例：

二位全加器的真值表：

2bit输入，2bit输出，输出进位Cout和S1，S0组成的二进制数转换为10进制值。
以A1，A0，B1，B0，Cin的顺序构建二元决策图，每个节点往左为0，往右为1：

应用规则1：

应用规则2：



最后合并相同节点：

原本很大的查找表就被简化为了几个小查找表：

相关书籍：