Елементен връзка (съответно, елементарни дизюнкции) се наричат съставните единици (или нула), ако те съдържат всички променливи на функцията.
Елементен връзка (мин Терминът) образува връзка ограничен набор от логически променливи и техните отрицания.
Елементен връзка (minterm), образуван от съчетаването на ограничен набор от логически променливи и техните отрицания, като P (X, Y, Z) х Y л Z. Елементен дизюнкция (maksterm), образуван от дизюнкцията на ограничен набор от логически променливи и техните отрицания, например Q (X, Y, Z) X V Y об Z. елементарен връзка (minterm) получава една стойност на една от всички възможни комплекта входни аргументи и елементарен дизюнкция (maksterm), напротив, е на стойност нула, когато един от възможните набора от аргументи и една стойност - за всички останали.
Елементарно връзка се нарича монотонно, ако тя не съдържа отрицания на променливи.
Елементен връзка (дизюнкция) - една връзка (дизюнкция), в което само на съединителната (разделителния) се свързват отделните променливи.
Елементарно връзка се нарича монотонно, ако тя не съдържа отрицания на променливи.
С елементарен връзка impli наречената прост тръбопровод, ако К V / / К и V / F за всяка връзка е К, получена от К чрез изтриване на писма. Докажете, че няма прости implicants монотонна функция не съдържа отрицания на променливи.
Елементарно връзка се нарича монотонно, ако тя не съдържа отрицания на променливи.
Елементен връзка или съвпад букви се нарича връзка. Основно разделяне или клауза се нарича дизюнкцията на литерали.
Елементен връзка нарича експресия представлява съюзи всеки ограничен набор от взаимно различни букви или състояща се от една буква. Изразяване 1, зход у XY H1h2h3h5 са елементарни съюзи. Елементен дизюнкция е израз представлява дизюнкция на всеки ограничен набор от взаимно различни букви или състоящи се от една буква. Изразяване 0, Х, Х JY, Xj / XZ / XT са елементарни дизюнкции.
В елементарни съюзи да записвате без обърнат променливи, определени единица в таблицата с истина и обърнатата - променливи, които са посочени в таблицата на истината нула.
В елементарни съюзи да записвате без обърнат променливи, определени уреда във функцията табличен и обърнати - променливи, които са определени в тази таблица нула.
Ако елементарните съюзи, включени в разделителния нормална форма, аз включват всички променливи, като последната се нарича перфектен разделителен нормална форма.
... елемент забавяне, което изпълнява една операция, освен ако р (т вярно, тогава (важи и да приемем, че ет (О фалшива |. Схемата с помощта на забавяне елемент функционира условия | ... Element обратна връзка Ако началното връзка оригиналната формула или никога не отговарят на проверката (в този пример, това не е така), тогава той трябва да се появи в крайната формула. Ако началното съюзът отговаря на проверката, крайната форма включва друга връзка, получена от източника.
Разпределение система елементарни съюзи 0 за изпълнение на различни междинни гуми PLA извършвани произволно.
Агрегатът, елементарните съюзи описва всички региона за забраната: всеки елемент принадлежи към най-малко един от интервалите, определени от тези съюзи. O - булева функция, която е на стойност 1 в комплекта U и стойност 0 на допълнителен набор от U. Всеки термин представлява своите председатели implicants - начално връзка със следните две свойства: На първо място, това предполага функция (ако съюзът на стойност 1 , а след това функцията, също), и второ, това не означава, всякакви други съюзи, която има първи имота. Ако DNF се състои от всички председатели implicants (както е в този случай), той се нарича редукция.
За изпълнение на необходимите елементарни съвпад р контакти.
D елементарен дизюнкция на съюзи нарича застой относително елементарен връзка К ако К абсорбира D (вж. Стъпка 2) и дизюнкция получен от D от отстраняване на всякаква връзка вече не абсорбира К.
В този случай, най-елементарните съюзи, съответстващи на лицата на измерение 2, съдържа три променливи.
Очевидно е, че пълните елементарни съюзи са елементарни съюзи.
Това разделяне на елементарни съюзи, за които формулата държи, се нарича перфектен разделителен нормална форма.
А съставна единица се нарича елементарен връзка съдържащ всички променливи на алгебра на крайни предикати.
В колона 1 елементарната съюзът записват в колона X (ч, като) таблица. 8.8. В колона 2 на съюзи отстранява променливата X, и колона 3 - променливите х, х е, XLI.
Над част от аргументите на елементарни съюзи, съюзи, както и творби ще бъдат по-горе марки инверсии.
Числото R се нарича ранг на елементарни съюзи.
След това отидете на следните елементарни съюзи.
Броят на аргументи, които формират елементарни съюзът или дизюнкцията, е нейното място в класацията.
Като частен елементарни съюзи се използват тук.
Cube елементи, които свързваме елементарни съюзи от различен ранг. Фиг. 1.2 върховете на куба сравнение връзка трети ранг, ребрата - втората степен, на лица - първи ранг. По този начин всеки еквивалент геометричен размер на съответните геометрични обхванати еквиваленти на по-голям размер.
По-късно, позовавайки се на елементарни съюза, ние ще го наричаме просто връзка.
PDNF съдържа не повече от уведомленията елементарни съюзи, всеки от които се състои от вода (log2 D) фактори.
Ако DNF има няколко идентични елементарни съюзи, ние ще оставим само един.
На всяка стъпка на пръстеновидно алгоритъм използва елементарна връзка принадлежност към квартал на к - ро от порядъка на някаква информация заедно и да маркирате тези съюзи.
Учредителното (пълен връзка) - елементарна връзка, която някога са включени всяка променлива, която определя състоянието на околната среда.
Тези форми са само елементарни разединяване на съюзи или дизюнкции на съюзите на елементарен.
D елементарен дизюнкция на съюзи нарича застой относително елементарен връзка К ако К абсорбира D (вж. Стъпка 2) и дизюнкция получен от D от отстраняване на всякаква връзка вече не абсорбира К.
Ако XI не е включена в началното съвпад в / - ия компонент поставя тире. В този случай, на всеки етап на сравнение може да се направи само между елементарни съюзи съответните трикомпонентни групи от съседни групи от номер.
Такава връзка на всички променливи на формулата, наречена елементарни съюзи.
Функция, в който добавя един PDNF елементарна връзка е 1 все още е само един комплект. Нека R - начална позиция, а R1 - съотношение, което съответства на LPO (W. аналогична на мотивите в случай на отстраняване на аудио връзка завършва доказателството.
За да се намали КФ от Куайн на метод всички елементарни съюзи в перфектното си рекорд DNF сравнение по двойки. Ако двама съюзи са такива, че да има форма аксиално Axi и, вместо да ги издава само една връзка на (L - 1) - ти ранг.
Броят на променливи (аргументи), които съставят елементарни съюзът или дизюнкцията, наречен му р и н е. XS, XJ XiXzXaXi е елементарна връзка letvertfgo ранг; функция М (х, у, Z) и XYZ - елементен konyunktsiey трета степен.
Очевидно е, че пълните елементарни съюзи са елементарни съюзи.
G е - различни; Ки нарече пълни елементарни съюзи.
Всяко лице, съдържаща се в NF, съответства на елементарен връзка с най-малко две формиращи с отрицателни и поне един фактор без негативите.
Заявление сериен конверсия (29) на всеки елементарен връзка и всички променливи не са включени във връзка формира функция DKF дал DNP.
DNF се нарича редовна, ако за всяка елементарна връзка на следното условие: всички букви от променливите, срещащи се в началното съюза, са различни.
Формула е идентично равен на единица. Разделителен нормална форма на изразяване А представлява дизюнкция на съюзи елементарно, за което стойността на А е вярно.
Припомнете си, че дизюнкция piVp2V - / Pi Pi елементарни съюзи поглъща елементарен връзка р, ако формула р - piVpaV VP е функцията идентично равен на единица.
Следователно, функцията в PDNF се състои от четири елементарни съюзи трети ранг.
По този начин, всеки интервал булева пространство М има своя собствена връзка елементарен упражняван интервал характеристика функция. Това отнема стойност 1 върху интервала на елементите и О отвъд.
Свързани статии