Клазуальная нормальная форма в матлогике

mtk79

что это такое? в какой книжке можно прочитать?
в википедии нифига нет, да и уверенности, что я правильно написал название — тоже

Xephon

Неправильно написал. Клаузальная.
Я не сталкивался с таким названием, но clause значит "дизъюнкт", так что, наверное, это ДНФ.

mtk79

спасибо. а Вы в какой книжке видели про "кляузу"?

mtk79

На новое, улучшенное написание, англ. википедия дает ответ.
Клауза — это действительно дизъюнкт, поэтому кл.ф.— это не ДНФ, а КНФ спец.вида

Xephon

В книжках не припомню. Просто пришло на ум слово clause, которое часто встречается в английских статьях по логике. А дальше уже поискал гуглом "исправленное" написание и обнаружил довольно большое количество ссылок.
Оставить комментарий
Имя или ник:
Комментарий: