Упрощение логического выражения в Java

Question

Есть ли какой-либо инструмент или библиотека в Java, которая упрощает формулу логического выражения и дает результат.

когда входы такие,

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

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

Выражения могут быть больше или сложнее, чем выше.

Answer 1

IntelliJ поддерживает "намерения" , которые позволяют упростить логические выражения в редакторе. В качестве альтернативы PMD может сообщить вам об ошибках такого рода (см. логические правила )