Я ищу решение булевых выражений для очень большой (но не сложной) алгебры, такой как:Boolsche Ausdrücke vereinfachen (Аксиома) Я хотел бы иметь некоторый код (c ++ или java [или библиотеки]), чтобы упростить огромное логическое выражение. Я не нашел что-то. Я просто хочу сделать "простое" преобразование, например:

a && ~a -> 0

a || a && (b || c) -> a

Но намного дольше. И я хочу использовать символику (a, b, c1, d1 ..), а не TRUE, FALSE, 0 или 1 в данный момент. Заранее спасибо.

Редактировать: Если я напишу это сам, я мог бы использовать Javaluator и оценить. Когда у меня есть:(adb+c) && d Я хотел бы начать с умножения. Есть идеи?