我有一个从门对象创建的面向对象的逻辑电路 (类似于这里的第二个例子:
我需要将电路表示为 CNF: 例如https://ibb.co/W2Z4M3y
有什么库可以做到这一点吗？ 或者任何其他解决方案？
最佳答案
有两个库:
Sympy它具有 to_cnf 函数以及 to_dnf 函数。
同样还有
PyEDA它还具有 to_cnf 和 to_dnf 函数。
您应该检查这两个文档，看看哪一个适合您的需要。
您可以使用Pysathq将文本转换为 DIMACS CNF 格式
关于python - 将逻辑门转换为 cnf python，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/67416582/