"Оптимизатор" логических выражений, Есть ли такой в виде отдельной проги или в составе чегонить Опции

[Alex03]

Такой чтобы ввести строчку вида:
((a + * c) * ((~a + * c)
и получить соответствующий ответ
c * b

Бывает такое?

Ну или ссылки на методы, только не на карты карно, там больше 4-х переменных уже труба.

((a + * c) * ((~a + * c)

Промашка вышла!

Код

((a + b) * c)  * ((~a + b) * c)

[Doka]

Alex03, что-то я не понял. причем тут карты Карно или диаграмы Вейча? Они же для булевых операций, а у Вас, насколько я понял: арифметичекие ( так?)

самый лучший "оптимизатор" для этих вещей: системы симольной математики (matlab, mathcad, maple, etc..)

[SM]

Alex03, что-то я не понял. причем тут карты Карно или диаграмы Вейча? Они же для булевых операций, а у Вас, насколько я понял: арифметичекие ( так?)

Какие же они арифметические? Явно булева алгебра, там же инверсия у товарисча.

ЗЫ
А по делу - я бы предложил синтезировать в синопсисе на библиотеку gtech, включив минимизатор (set_flatten и set_structure с опцией boolean)