Замкнутая ДНФ

StallioN

Есть ли в определении замкнутой ДНФ упоминание
о минимальности входящих в нее конъюнкций?

CokpaT

Кажется нет. Кажется, это свойство: замкнутая днф содержит все минимальные конъюнкции. Не помню...Вот приедет hemul, у него есть книга, он тогда все расскажет

StallioN

Все правильно, но теорема ведь утверждает, что
ЗДНФ содержит все минимальные конъюнкции.
И ничто, в данном случае, не мешает ЗДНФ содержать
минимальные конъюнкции в принципе.

Runa

В определении упоминания об минимальных конъюнкциях нет.
И если я не ошибаюсь, замкнутая днф содержит все минимальные конъюнкции, но может содержать и неминимальные конъюнкции, а просто допустимые.

StallioN

Спасибо. Это немного прояснило ситуацию.
Оставить комментарий
Имя или ник:
Комментарий: