double arrow

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


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

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

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

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

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

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

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

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

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

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

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

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


Сейчас читают про: