将逻辑门转换为cnf python

2024-09-24 00:22:40 发布

您现在位置：Python中文网/ 问答频道 /正文
7070 3

我有一个面向对象的逻辑电路，它是由门对象创建的 （与此处的第二个示例类似：

http://www.openbookproject.net/books/pythonds/Introduction/ObjectOrientedProgramminginPythonDefiningClasses.html）

我需要将电路表示为CNF： 例如https://ibb.co/W2Z4M3y

有图书馆可以做这件事吗？ 还是其他解决方案


Tags： 对象http示例nethtmlwww面向对象books
1条回答
网友
1楼 · 发布于 2024-09-24 00:22:40

有两个图书馆：

Sympy具有to_cnf函数和to_dnf函数

同样地，也有 PyEDA，它还具有to_cnf和to_dnf函数

你应该检查两份文件，看看哪一份适合你的需要

您可以使用Pysathq将文本转换为DIMACS CNF格式

相关问题 更多 >

    编程相关推荐