Понятие покрытия
Определение. Если на каком-либо наборе f принимает значение а1, а
– значение а2, то говорят, что f своим значением а1 покрывает значение а2 функции .При минимизации ФАЛ стремятся получить форму, в которой будет меньше букв, чем в исходной. По отношению к ДНФ эта форма называется сокращенной (Сок. ДНФ).
Смысл построения Сок. ДНФ заключается в том, что в нее входят такие элементарные произведения, которые своими единицами покрывают не одну единицу исходной функции, а несколько.
Так, каждое элементарное произведение, входящее в СДНФ, покрывает только одну единицу функции.
Например:
f(Х1, Х2)= Х1Х2
Х1Х2 Х1Х21 1 1
Эти единицы функции могут быть накрыты более короткими произведениями: Х1 накрывает две единицы: Х1Х2 и Х1Х2 и Х2
, которое накрывает также две единицы: Х1Х2 и Х1Х2
, т.е.
f(Х1, Х2)= Х1
Х2