在逻辑综合过程中，可以利用不管项(Don't Care)使逻辑电路的面积更小，性能更好。由于不管项的存在，可能使得两个满足设计要求的电路在进行等价性验证时出现不等价的结果。为此，验证系统中必须对存在不管项的情形加以处理。通过对不管项情形的处理，排除了由于用户对不管项部分的不同实现而导致的误判断，提高了验证的精确性。
　　为了处理不管项引起的不等价情况，首先将不管项部分用二叉判决图表示，然后通过二叉判决图表达式运算来实现相应的处理，由于利用了二叉判决图表达布尔函数的高共享性和高效率，可以以较高的效率同时处理所有的不管项向量。还可以给出排除了不管项部分后导致待验证电路不同的测试向量。
　　假设一个三输入单输出电路的覆盖表如下：
　　　　　　　0x0 0
　　　　　　　0x1 1
　　　　　　　10x x
　　　　　　　110 1
　　　　　　　111 x
　　设使得该电路输出为"1"的向量集CON，为"0"的向量集COFF，以及为不管项的向量集CDC分别为：
　　　　　　
　　假设该电路的输入变量依次为x₁,x₂,x₃,则CDC的布尔表达式为：
　　　　　　　
　　如果能够得到x₁、x₂、x₃ 的OBDD，假设为obdd1，obdd2，obdd3，则可以通过OBDD的"与"、"非"运算（这里用"AND"、 "NOT"表示）得到每个向量的OBDD:
　　　　　　　
　　　　　　　
　　进而通过OBDD的"或"运算（这里用"OR"表示）得到CDC向量集的OBDD：
　　　　　　　
　　同理，对于任何电路，如果我们知道所有其输出为不管项的向量（即向量集CDC），则可以通过上述方法得到不管项的OBDD。
　　另外，因为：
　　　　　　　
　　所以：
　　　　　　　
　　对于某些电路，如果仅仅能够得到所有其输出必须实现的向量（即向量集CON和COFF），则可以先用同样的办法得到向量集CON和COFF的OBDD，再通过如下OBDD运算得到向量集CDC（也就是不管项部分〕的OBDD：