java - 有没有开源的Java库或java源代码来简化 boolean 表达式

Question

是否有任何开源Java库或java源代码来简化 boolean 表达式，例如

!((A.B+C).(!A+BC))

哪里，

! - represents NOT
+ - represents OR
. - represents AND

我们将非常感谢您在这方面的帮助

Answer 1

不，我不这么认为，但是使用 ANTLR 为这种语言编写解析器应该非常简单。 (声明性)或JParsec (程序化)

对于 ANTLR，请使用 First Order Logic Grammar作为起点。

对于 JParsec，JParceC calculator tutorial接近您的需要。