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

兰 很高兴向您介绍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