But when the circuit is converted into CNF, the structure information is lost.

• 但在运用SAT验证时需将电路结构转化为成OR-AND两级逻辑描述,丢失了电路的拓扑信息。