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

1.

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

2.

Минимизация булевых функций
Определение: Минимизацией называется преобразование логических функций с целью
упрощения их аналитического представления.
Задача минимизации – задача получения минимальной по числу элементов формулы для
функции в принятом базисе.
Определение: Минимальной формой логической функции называется такая форма,
которая не допускает больше никаких упрощений.
Определение: Минтерм (минимальная терма, конъюктивный терм) – конъюнкция,
которая связывает только отдельные переменные в прямом или инверсном виде.
Определение: Макстерм (максимальная терма, дизъюнктивный терм) – дизъюнкция,
которая связывает отдельные переменные в прямом или инверсном виде.

3.

Минимизация булевых функций
Методы минимизации логических функций:
1. Метод последовательного исключения переменных;
2. С помощью карт Карно.
Определение: Минимальной ДНФ называется ДНФ, которая реализует функцию