解析布尔表达式问题

Question

我正在尝试最小化/简化一些布尔表达式。 我想要例如：

  

（（！C | C）＆A＆B）->（A＆B）

我看到它退出了该库以解析任何布尔表达式：

JBool_expressions library

学习这个库，我选择使用它来简化我的布尔表达式，如下所示：

Expression<String> expr = ExprParser.parse("( ( (! C) | C) & A & B)");
Expression<String> simplified = RuleSet.simplify(expr);
System.out.println(expr);

我使用Eclipse，但是遇到了很多问题。我不知道为什么例如，Eclipse不了解什么是Expression。那就是蚀的提议：

com.bpodgursky.jbool_expressions.Expression expr = ExprParser.parse("( ( (! C) | C) & A & B)");

但是它说我：

  

java.lang.NoClassDefFoundError：org / antlr / runtime / RecognitionException

您知道为什么吗？ 另外，为了简化myexpressions，您知道其他选择吗？另一个图书馆？还是开源？或任何方法。

对于我来说，我试图自己暗示Quine McCluskey方法来最小化Java中的任何布尔表达式。

thinks