динитрофенол
Словарь: С. Фадеев. Словарь сокращений современного русского языка. — С.-Пб.: Политехника, 1997. — 527 с.
дизъюнктивная нормальная форма
матем.
динатрийфосфат
Источник: http://www.him.ru/
динитрофенил
Источник: humbio.ru/Humbio/immunology/IMM-GAL/0006290a.htm
Словарь сокращений и аббревиатур. Академик. 2015.
ДНФ — Дизъюнктивная нормальная форма (ДНФ) в булевой логике нормальная форма, в которой булева формула имеет вид дизъюнкции нескольких конъюнктов. Например, следующие формулы записаны в ДНФ: Дизъюнктивная нормальная форма удобна для автоматического… … Википедия
ДНФ — динитрофенол … Словарь сокращений русского языка
АЛГЕБРА ЛОГИКИ — система алгебраич. методов решения логич. задач, а также совокупность задач, решаемых такими методами. А. л. в узком смысле слова алгебраич. (табличное, матричное) построение классич. логики высказываний, в котором рассматриваются… … Философская энциклопедия
Алгебра логики — раздел математической логики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности), и логические операции над ними. А. л. возникла в середине 19 в. в трудах Дж. Буля (См. Буль) и развивалась… … Большая советская энциклопедия
Дизъюнктивная нормальная форма — (ДНФ) в булевой логике нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ.[1] Для этого можно использовать закон двойного отрицания, закон де Моргана, закон… … Википедия
Булевы выражения — В теории дискретных функциональных систем булевой функцией называют функцию типа , где булево множество, а n неотрицательное целое число, которое называют арностью или местностью функции. Элементы 1 (единица) и 0 (ноль) стандартно интерпретируют… … Википедия
Булева функция — В данной статье или разделе имеется список источников или внешних ссылок, но источники отдельных утверждений остаются неясными из за отсутствия сносок … Википедия
Карта Карно — Рис. 1 Пример Куба Карно Куб Карно графический способ минимизации переключательных (булевых) функций, обеспечивающий относительную простоту работы с большими выражениями и устранение потенциальных гонок. Представляет собой операции попарного… … Википедия
Полином Жегалкина — Полином Жегалкина многочлен над кольцом , то есть полином с коэффициентами вида 0 и 1, где в качестве произведения берётся конъюнкция, а в качестве сложения исключающее или. Полином был предложен в 1927 году… … Википедия
СДНФ — (Совершенная Дизъюнктивная Нормальная Форма) это такая ДНФ, которая удовлетворяет трём условиям: в ней нет одинаковых элементарных конъюнкций в каждой конъюнкции нет одинаковых пропозициональных букв каждая элементарная конъюнкция содержит… … Википедия
