llang:命题演算中良构公式的解释器

【文件属性】：

文件名称：llang:命题演算中良构公式的解释器

文件大小：14KB

文件格式：ZIP

更新时间：2024-07-22 19:02:44

JavaScript

兰 很高兴向您介绍llang - 用 Ja​​vaScript（浏览器和 node.js）编写的命题演算中格式良好的公式的解释器。 使用很简单，只需传递一个公式，并在公式中输入对变量的求值，然后查看结果。 而且还会有更多！ 我将制作一些扩展函数，例如真值表生成器，用于确定公式是否是重言式、矛盾或可满足的，或者一个公式是否是另一个的语义结果/等价的函数。 例子 llang . evaluate ( 'A | B' , [ 1 , 0 ] ) ; //returns true llang . evaluate ( 'A & B' , [ 0 , 1 ] ) ; //returns false llang . evaluate ( '(A -> (B -> C)) -> ((A -> B) -> (A -> C))' , [ 0 , 0 , 0 ] ) ; //returns true lla

【文件预览】：
llang-master
----src()
--------lex.js(1KB)
--------interpret.js(973B)
--------scope.js(887B)
--------parse.js(2KB)
--------util.js(492B)
--------llang.js(1KB)
----gulpfile.js(2KB)
----LICENSE(1KB)
----test()
--------lex.js(2KB)
--------evaluate.js(3KB)
--------parse.js(6KB)
----README.md(4KB)
----.gitignore(13B)
----dest()
--------build.js(8KB)
--------build.min.js(3KB)
----evaluators()
--------node.js(874B)
--------browser.html(751B)
----index.js(42B)
----package.json(1004B)