问题
Is there any tool or library in java which simplifies a boolean expression formula and gives result.
when inputs are like that,
exp = (a || a' ) result = 1
exp = ( a || b ) && ( a' || b ) result = b (after simplification)
Expressions can be larger or more complex than above.
回答1:
IntelliJ supports "intentions" which allow you to simplify boolean expressions within the editor. Alternatively, PMD can report these kind of errors for you (see the boolean rules)
来源：https://stackoverflow.com/questions/5104207/simplification-of-boolean-expression-in-java