有序二叉判定图OBDD(ordered binary decision diagram)是一种数据结构,它把布尔函数表示为有向无回路图,是布尔函数的一种正则表......