Минимизация полиномиальной формы булевых функций

[Mishel 825]

Доброго времени суток!

Подскажите пожалуйста адрес, где подробно представлена минимизация полиномиальной формы булевых функций с примерами. С чего начинается минимизация полиномиальной формы булевых функций, какой алгоритм (процесс) и как выглядит результат такой минимизации.

Заранее спасибо.

[akegor]

Здесь можно покопаться.

[Mishel 825]

Помогло.

Ещё конкретный вопрос.
Если исходным представлением булевой функции будет таблица истинности, то для получения минимальной конъюктивной нормальной формы (МКНФ) необходимо инвертировать значения переменных в таблице истинности, после чего можно использовать аппарат минимизации дизъюктивной нормальной формы (ДНФ). МКНФ представить макстермами с логической операцией конъюнкции между макстермами.

Если исходным представлением булевой функции будет таблица истинности заданной функции, то какие действия дадут минимальную полиномиальную форму для заданной булевой функции?