Поиск
Конспекты лекций по математической логике
... слагаемого с сохранением булевой функции.
(Легко понять, что любая минимальная ДНФ является тупиковой, а обратное не верно.)
Опр:
К-мерной гранью
называется такое подмножество
, которая является носителем некоторой элементарной конъюнкции длины: n-k.
Опр: Предположим дана функция
и есть
. Грань называется ...