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

[Alex03]

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

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

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

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

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

Код

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

[sazh]

Если это булева алгебра, то при записи в лоб любой синтезатор должен выдать типа
Warning: Design contains 1 input pin(s) that do not drive logic
Warning: No output dependent on input pin "a"
и в результате будет искомое b&c
А почему должно быть иначе.

[Oldring]

Если это булева алгебра, то при записи в лоб любой синтезатор должен выдать типа
Warning: Design contains 1 input pin(s) that do not drive logic
Warning: No output dependent on input pin "a"
и в результате будет искомое b&c
А почему должно быть иначе.

Иначе должно быть, например, потому, что задача оптимизации логических выражений является NP-полной
Точнее, классической NP-полной задачей является задача выполнимости, которую. очевидно, элементарно сводится к обсуждаемой задаче оптимизации. Является ли задача оптимизации даже NP - с ходу не скажу.