java - Javaでのブール式の簡略化

Question

ブール式の式を単純化して結果を与えるJavaのツールまたはライブラリはありますか。

入力がそのような場合、

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

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

式は、上記よりも大きくても複雑でもかまいません。

Answer 1

IntelliJ は、エディター内でブール式を単純化できる「インテンション」をサポートしています。または、PMDがこの種のエラーを報告することもできます ( boolean rulesを参照してください) 。