- всеки две условия са различни в най-малко две позиции,
- нито един от conjuncts не се съдържа в другия.
Например: се съдържа инча
Функция може да се запише с помощта Съкратено DNP не е единственият начин.
Пишем функция (среден) под формата на перфектно DNF. , Известно е, че този израз е еквивалентно на следното :. Топено във всяка обща скоба съвпад (например, в първия. Оттогава съвпад не засяга стойността на експресия, и може да се пропусне. Накрая се получи формула.
[Член] Минимално DNF
Минимум DNP (Engl минимално разделителен нормална форма.) - като кондензирано DNP, която съдържа минимален брой случаи на променливи.
Всяка минимална DNF е съкратен, но не всяка кройка - е минимално. Например, записване е минимална DNF за медианата (е съкращение, както се вижда в примера по-горе); и запис - няма изискване за минимален, но намалява DNF.
[Член] Минимизиране DNF
Помислете за няколко начина да се сведат до минимум разделителния нормални форми:
[Член] визуализация хиперкубове
Този метод работи, ако броят на променливите, не повече от три (в противен случай трябва да въведете четвъртият или след което да представлява измервания на фигурите). Първо, ние се направи куб в референтна рамка (името на координатните оси отговарят на имената на променливите). След това всеки връх се обработва, както следва:
Ако сме в съвпад, променливи, които са равни на съответните координати на върха, а след това ние връх поставят попълнено черен кръг.
Vertex координира съответства съвпад, тя е равна на единица за и)
В противен случай, ще се постави в топ сенчести бял кръг.
За DNF: хиперкуб получаваме следното (виж фигурата).
На следващо място, преработката излиза хиперкуб следва:
докато имаме незаети началото, ние избираме лицето или връх или ръб, по който повечето от боядисани черни капаци и все още не се обработват върховете.
Ако този хиперкуб е лицето, всички върхове, от които са боядисани в черно, а след това можем да го пишат като в съвпад, което само ще променлива неизменен съответстващ го координира.
Лице, на която са изписани над върха и можем да запишем като съвпад.
Сега погледнете дали има някакви по ръбовете на куб боядисани и ни маркирани в горната част на DNF. Ако - да, ребрата с такива върхове могат да бъдат написани като съвпад, което само ще променливи със съответните координати неизменни
Edge, свързваща върховете боядисани и можем да запишем като съвпад.
И ако след това лечение, бяхме свободни върхове, ние просто пренапише координатите на всеки връх в отделна съвпад с равен.
Топ щяхме да пренаписва като съвпад.
В резултат на това нашата оригинална DNP може да се запише като.
[Редактиране] Karnaugh Maps
Ние изграждане на таблицата по-долу, където - броят на променливите:
Сега, покрийте го (дължина на страната, от които - с мощност от две ()) са Karnaugh карти на клетките, които съдържат единица (всеки ход, ние избираме правоъгълник за покриване на най-голям брой все още не са обхванати от клетки) толкова дълго, колкото може да се покрият всички такива клетки.
За карта Karnaugh като пример, че ще изглежда така:
И двата елементарни съюзи в тази стъпка елементи са съкратени DNF.
В резултат на алгоритъма, получаваме следния съкращение DNF:
Преходът от съкратена форма до минимум:
- DNF единица, покриващият елемент или определен от "+". Двойки и въвеждане "*" ще се появят в ядрото.
- Единичните функции, които са покрити само от един елемент от системата в съвпад съкращение DNF на, маркирани с ">".
- функции единици, включени в ядрото, но не са обхванати от само някой съвпад на съкратените ИЕЯС елементи на системата с ">>" са маркирани.
Свързани статии