文件名称：logic-solver:符号逻辑证明验证和求解
文件大小：151KB
文件格式：ZIP
更新时间：2024-07-08 23:04:36
Java
逻辑求解器 这是我开始为华盛顿大学哲学 120 班解决符号逻辑证明的项目。 ##Demo ##目前正在处理事情
【文件预览】：
logic-solver-master
----LICENSE(11KB)
----src()
--------Logic()
--------GetTruthTable.java(550B)
--------IsValid.java(317B)
--------org()
--------Tester.java(5KB)
--------ValidateProof.java(2KB)
----site()
--------css()
--------partials()
--------img()
--------index.html(2KB)
--------js()
--------api()
----.project(371B)
----.classpath(295B)
----.gitignore(244B)
----README.md(230B)