КНФ

См. также в других словарях:

• КНФ — конъюнктивная нормальная форма матем. КНФ косилка навесная фронтальная Словарь: С. Фадеев. Словарь сокращений современного русского языка. С. Пб.: Политехника, 1997. 527 с. КНФ контрольно надзорная функция …   Словарь сокращений и аббревиатур

• КНФ — Конъюнктивная нормальная форма (КНФ) в булевой логике нормальная форма, в которой булева формула имеет вид конъюнкции нескольких дизъюнктов. Например, следующие формулы записаны в КНФ: Конъюнктивная нормальная форма удобна для автоматического… …   Википедия

• КНФ — косилка навесная фронтальная …   Словарь сокращений русского языка

• конъюнктивная нормальная форма (КНФ) — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN standard product of sums …   Справочник технического переводчика

• K-КНФ — …   Википедия

• Конъюнктивная нормальная форма — (КНФ) в булевой логике  нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к… …   Википедия

• АЛГЕБРА ЛОГИКИ —         система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… …   Философская энциклопедия

• Карта Карно — Рис. 1 Пример Куба Карно Куб Карно графический способ минимизации переключательных (булевых) функций, обеспечивающий относительную простоту работы с большими выражениями и устранение потенциальных гонок. Представляет собой операции попарного… …   Википедия

• Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок …   Википедия

• Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… …   Википедия

• Алгебра логики —         раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… …   Большая советская энциклопедия