Актуальной задачей является преобразование ФАЛ к виду, обеспечивающему наиболее простую по количеству используемых логических элементов, схемную реализацию. Под минимизацией логической функции понимается выполнение преобразований с целью получения наиболее простого представления ФАЛ. Используются следующие основные методы минимизации:
· Метод последовательного упрощения аналитического выражения базируется на преобразовании ФАЛ с использованием основных законов и тождеств АЛ.
· В диаграммы Вейча записываются все конституенты единицы, входящие в СДНФ (конституенты нуля, входящие в СКНФ) той или иной булевой функции. Цель преобразований - получить как можно меньшее число прямоугольников, чтобы число членов СДНФ уменьшилось, получив в итоге МДНФ.
· В случае, когда количество переменных больше, необходимо использовать метод Квайна Мак-Класки(см. вопрос 5).
Задача минимизации ФАЛ
: Найти аналитическое выражение заданной ФАЛ в форме, содержащей минимальное число переменных.
Основные законы:
коммутативность А+В=В+А
Сочетательный (А+В)+С=А+(В+С)
Двойственность not(A+B)=notA*notB
Распределительный (А+В)*С=АС+ВС
Правило склеивания: AX+AnotX=A
Тождества алгебры логики:
А+0=А А*1=А not notА=A
A+1=1 A*0=0
A+A=A A*A=A
A+notA=1 A*notA=0