ДНФ

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

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

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

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

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

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

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

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

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

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

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

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