ДНФ


ДНФ
лог. disjunctive normal form, minterm form

Большой англо-русский и русско-английский словарь. 2001.

Смотреть что такое "ДНФ" в других словарях:

  • ДНФ — динитрофенол Словарь: С. Фадеев. Словарь сокращений современного русского языка. С. Пб.: Политехника, 1997. 527 с. ДНФ дизъюнктивная нормальная форма матем. ДНФ динатрийфосфат Источник: http://www.him.ru/ …   Словарь сокращений и аббревиатур

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

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

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

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

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

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

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

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

  • Полином Жегалкина — Полином Жегалкина  многочлен над кольцом , то есть полином с коэффициентами вида 0 и 1, где в качестве произведения берётся конъюнкция, а в качестве сложения  исключающее или. Полином был предложен в 1927 году… …   Википедия

  • СДНФ — (Совершенная Дизъюнктивная Нормальная Форма)  это такая ДНФ, которая удовлетворяет трём условиям: в ней нет одинаковых элементарных конъюнкций в каждой конъюнкции нет одинаковых пропозициональных букв каждая элементарная конъюнкция содержит… …   Википедия

Книги

Другие книги по запросу «ДНФ» >>


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.