Методы минимизации функций алгебры логики

Цель работы: получение практических навыков минимизации функций алгебры логики в классе ДНФ, изучение особенностей минимизации не полностью определенных функций.

Теоретическая справка

Основные определения

Буква - переменная или ее отрицание.

Элементарная конъюнкция – конъюнкция, в которой каждая буква встречается не более одного раза.

Дизъюнктивная нормальная форма (ДНФ) – дизъюнкция элементарных конъюнкций.

Ранг элементарной конъюнкции – количество переменных, которые ее образуют.

Дизъюнктивная совершенная нормальная форма (ДСНФ) – ДНФ, состоящая из конъюнкций ранга n, где n – количество переменных.

Длина ДНФ (L) – число конъюнкций, которые ее составляют.

Кратчайшая ДНФ – ДНФ,имеющая наименьшую длину L по сравнению с другими ДНФ, эквивалентными данной функции.

Суммарный ранг ДНФ(R) – сумма рангов конъюнкций ДНФ.

Минимальная ДНФ – ДНФ, имеющая наименьший суммарный ранг R по сравнению с другими ДНФ, эквивалентными данной функции.