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