我想用Javascript制作一个命题演算解析器，它将详细说明输入并判断逻辑命题是否正确。 例如，我会输入
(A && B) || (B && A) => not(A)
然后我会在另一个提示符中插入A和B的可能值。
我不是要求别人为我完成工作，而是我不知道从哪里开始。我想提一些提示：我怎样才能用Javascript正确表示语义，命题演算的语法？
提前致谢！
答案 0 :(得分：1)
您可以尝试使用antlr v3的javascript目标。
这是一个你正在寻找语法的问题：ANTLR Propositional Logic Evaluator
以及您可能会发现有用的另一个问题： ANTLR JavaScript Target