Я ищу алгоритмы или программу, которая может минимизировать булевы выражения w.r.t. количество символов, используемых в полученном выражении. Я знаю обычные алгоритмы минимизации, такие как Quine-McCluskey и Espresso, но они всегда создают дизъюнктивные нормальные формы, которые могут быть намного длиннее, чем выражения, содержащие умный брекетинг.Минимизация булева выражения
Любые идеи?
Вы в основном просите минимизировать количество логических ворот. Результирующая сеть логических ворот может иметь несколько уровней и разные типы затворов (NAND, NOR, XOR, ...).
Синтез многоуровневой логики - довольно сложная проблема, которая была предметом исследований в течение последних пяти десятилетий. Популярная система в этой области - misII, разработанная в 1988-1993 годах (sic!) В Калифорнийском университете.
Попробуйте Logic Friday 1, а Windows инструмент, который представляет хороший GUI вокруг misII и Espresso.