DNF - това
Например, следните формули се записват в DNF:
Разделителен нормална форма е удобен за автоматичен доказателство за теореми.
Събирането булева формула за DNF
Всяко булева формула може да бъде намалена до DNF. Въпреки това, размерът на булева формула може да увеличи експоненциално. Така, например, 2 п conjuncts трябва да определя по следната формула:
Официално граматика, описваща DNF
Следваща Официално граматика описва всички формули, дадени в DNF:
<ДНФ> → <конъюнкт> <ДНФ> → <ДНФ> ∨ <конъюнкт> <конъюнкт> → <литерал> <конъюнкт> → (<конъюнкт> ∧ <литерал>) <литерал> → <терм> <литерал> → ¬<терм>
където <терм> означава произволно булева променлива.
Вижте какво "ИЕЯС" и в други речници:
DNF - динитрофенолно ... речник на езиковите съкращения на българските
Алгебра на логиката - алгебрична система. методи на логически решения. задачи, както и набор от проблеми да бъдат решени чрез такива методи. А. л. в тесния смисъл на думата алгебрични. (Таблица, матрица) на класическата сградата. Пропозиционални логика, която се занимава с ... ... Философски Енциклопедия
логика алгебра - раздел от математическата логика, учене изказване, се гледа от страна на логическа стойност (истина или лъжа) и логически операции върху тях. А. л. Тя възниква в средата на 19-ти век. в писанията на Йоан. Бул (Вж. Буле) и развит ... ... The Great съветска енциклопедия
Разделителен нормална форма - (DNF) в булева логика нормална форма, в която булева формула е дизюнкция на съюзи на литерали. Всяко булева формула може да бъде намалена до DNP [1]. Можете да използвате правото на двойно отрицание, правото на закона де Морган ... ... Wikipedia
Булеви изрази - Теорията на дискретни функционални системи на функцията на булевата се нарича функция на тип. където булева набор, и п неотрицателно цяло число, което се нарича arity на функцията или терена. Елементи 1 (един) и 0 (нула) се тълкува като стандарт ... ... Wikipedia
Булева функция - Тази статия или раздел е даден списък на източници или външни връзки, но индивидуалните отчети източници остават неясни поради липсата на бележки под линия ... Wikipedia
Karnaugh карта - фиг. Пример 1 Куба куб Карно Карно, графичен начин за свеждане до минимум преминаването (булеви) функции, осигурява сравнително проста операция с големи изрази и елиминиране на потенциални раси. Е операция по двойки ... ... Wikipedia
Zhegalkin полином - zhegalkin полином полином над пръстена. т.е. полином с коефициенти на формата на 0 и 1, където продуктът се приема заедно, и като добавянето на изключващо или. Полиномен беше предложена през 1927 ... ... Wikipedia
PDNF - (перфектно разделителен нормална форма) е такъв DNF, което отговаря на три условия: да не са едни и същи елементарни съюзи във всяка връзка не е същото Пропозиционални буквите на всеки елементарен връзка съдържа ... ... Wikipedia
- Дискретна математика и математическа логика част I. Евгения Filenko. Тази работа включва необходимите информационни фон и модел примерите в следните раздели, някои от които не са достатъчно добре уредени в съществуващата научна литература: 1. Комплектите и ... Прочети повече Купи (Украина) за 4887 UAH