文件名称：Diagramos:简单的二元决策图生成器
文件大小：551KB
文件格式：ZIP
更新时间：2024-04-24 01:57:18
JavaScript
图表 [djagramos] f pl-图表，图表 这个简约的应用程序可以用来证明简单的一阶逻辑公式。 如何使用这个程序？ 克隆此存储库。 您可以通过在克隆存储库的目录中启动http服务器来启动应用程序。一个简单的节点http服务器就可以正常工作。 另外，您也可以在浏览器中打开index.html文件（Microsoft Edge工作正常，Google Chrome浏览器似乎在加载JavaScript时遇到了一些问题）。 在文本字段中输入逻辑表达式，然后单击按钮。 Lexing和解析错误将在控制台中指示。 使用生成的BDD来证明公式。 如果该图只是带有标签“ 1”的节点，则该公式有效（一个定理）； 如果只是一个“ 0”节点，则该公式无效； 如果同时存在0和1的“路径”，则该公式是可满足的。 使用的约定： 谓词的顺序是字母顺序的。 虚线表示负，实线-正。 如何输入逻辑表达式？
【文件预览】：
Diagramos-master
----vis-network.js(1.65MB)
----index.html(518B)
----bdd.js(7KB)
----vis-network.min.js(770KB)
----parser.js(6KB)
----app.js(2KB)
----README.md(1KB)