Up to now, no pffective method can be used to evaluate the Boolean difference for circuits with reconvergent fanout.

• 迄今,对多扇出再聚合情况,缺少一个计算布尔差分的有效公式。