简化java中的布尔表达式

Question

java中是否有任何工具或库可以简化布尔表达式并给出结果。

当输入是这样的时候，

exp = (a || a' ) result = 1

exp = ( a || b ) && ( a' || b )  result = b (after simplification)

表达式可能比上面更大或更复杂。

Answer 1

IntelliJ支持"intentions"，它允许您在编辑器中简化布尔表达式。或者，PMD可以为您报告这类错误（请参阅boolean rules）