In the end, the method of merging adjacent logical nodes is used to produce minimal CNF variables and clauses.

• 最后合并相邻节点，根据合并后的逻辑关系生成变量和子句。