In the end, the method of merging adjacent logical nodes is used to produce minimal CNF variables and clauses.
英
美
最后合并相邻节点,根据合并后的逻辑关系生成变量和子句。
目录
查词历史
英 汉