Professional Documents
Culture Documents
РЕПРЕЗЕНТАЦИЈА И ИМПЛЕМЕНТАЦИЈА
НА ЛОГИЧКИТЕ ФУНКЦИИ
Претходното поглавје се занимаваше со прекинувачката алгебра. Дознавме дека
ентитетите наречени прекинувачки променливи се поврзани со многу
прекинувачки операции со помош на најразлични нивни комбинации, наречени
прекинувачки или логички изрази. Видовме дека прекинувачките функции можат
да бидат претставени со еден или повеќе изрази.
Да претпоставиме дека променливите ги интерпретираме како сигнали. Тогаш
прекинувачкиот израз E ( x1 , x2 ,..., xn ) може да биде интерпретиран како операции
извршени над влезни сигнали xi , давајќи излезен сигнал во согласност со изразот.
Како што беше накратко опишано во претходното поглавје, основната цел е
имплементирање на прекинувачките изрази со помош на физички кола и хардвер.
Прекинувачката функција може да биде имплементирана од страна на хардверот,
бидејќи можеме да ја претставиме со помош на многу различни изрази. Некои
хардверски компоненти можат да бидат попогодни од други, поефтини,
поедноставни, побрзи или да имаат помала потрошувачка на енергија. Со овие
барања ке се запознаеме во следното поглавје.
Ова поглавје ги истражува алтернативните методи за изразување на логичките
функции: геометриски, алгебарски и табеларни методи. Ќе се запознаеме со
пристапите за конверзија на изразите во поедноставни форми, но претходно ќе
научиме што значи “поедноставно“. Ќе дискутираме и за имплементацијата на
логичките функции во примитивните порти на поедноставните интегрирани кола.
Пошироки имплементации во MSI и LSI колата ќе бидат претставени во наредното
поглавје.
1
Ќе започнеме со следниов пример на прекинувачка функција, претставена со
следниов израз:
f ( x, y , z ) = ( x '+ y ' z ' )( z '+ xy ' )
f = x ' z + xy ' z ' = x ' z ( y + y ' ) + xy ' z ' = x ' y ' z + x ' yz + xy ' z '
f ( x, y, z ) = ∑ (1,3,4)
f ( A, B, C ) = ∑ (2,3,5,7)
2
Општо, минтермот може да биде означен како mi , каде i е минтерм бројот. (Ја
користиме малата буква m, бидејќи станува збор за минтерм.) За функција од три
променливи, тоа би изгледало вака: A’BC’= m2 . Каноничната форма сума-од-
производи на функцијата чија минтерм листа е дадена во претходниот израз,
може да биде запишана на следниов начин:
f ( A, B, C ) = m2 + m3 + m5 + m7
f ( x, y, z ) = ∏ (0,2,5,6,7)
f = M 0M 2M 5M 6M 7
3
3.2 ЛОГИЧКИ МАПИ
Во предходниот дел покажавме како едноставните симболички изрази, минтерм и
макстерм листите кои претставуваат каконична форма на сума-од-производи и
производ-од-суми, можат да бидат запишани за која било функција. Но,
каноничните форми содржат голем број на литерали, па затоа може да се
групираат со цел тој број да се намали. Сега ќе опишеме геометриски начин на
претставување на прекинувачките изрази, како подготовка за методот на
поедноставнување на истите.
x x
0 1 0 1
y 0 y 0 00 01
1 1 10 11
4
x x x
0 1 xy 0 1 0 1
z 0 00 000 100 00 000 100
yz 1 yz 01 001 101 yz 01 001 101
10 010 110 11 011 111
11 011 111 10 010 110
1
Во секоја колона две геометриски блиски ќелии се и логички блиски, освен оние во втората и
третата редица.
5
Да ја земеме на пример ќелијата 001(декадно 3) на слика 3г. Логички блиските
ќелии се добиени со замена на секој бит со неговиот комплемент, т.е.:
111 (декадно 7)
001 (декадно 1)
010 (декадно 2)
Декаден код x y z f
x x
0 000 0
0 1 0 1
1 001 1
00 00 1
2 010 0
yz 01 yz 01 1
3 011 1
4 100 1 11 11 1
5 101 0 10 10
6 110 0
7 111 0
(а) (б) (в)
2
Се нарекува и Карноова мапа, по името на Maurice Karnaugh, кој прв ја предложил во 1953 год.
6
wx wx
00 01 11 10 00 01 11 10
00 0 4 12 8 00
yz 01 1 5 13 9 yz 01 1 1
11 3 7 15 11 11 1 1 1 1
10 2 6 14 10 10 1
(а) (б)
ПРИМЕР 1
f ( w, x, y, z ) = ∑ (1,3,7,9,11,14,15)
wx wx
00 01 11 10 00 01 11 10
00 0 4 12 8 16 20 28 24
yz 01 1 5 13 9 17 21 29 25
11 3 7 15 11 19 23 31 27
10 2 6 14 10 18 22 30 26
v=0 v=1
(а) (б)
7
Вежба 4 Лоцирај ја ќелијата со минтерм 01011 на мапата и одреди ги минтерм
броевите на петте ќелии со кои оваа ќелија е логички блиска.
Одговор: Добиете ги со заменување на секој бит со неговиот комплемент.
Коцки од ред k
а) (б) (в)
w' yz + wyz = yz
Вежба 5
а. Претходниот пример покажа како се групираат четири минтерми кои се
блиски во парови и се комбинирани во коцка од втор ред. Постои уште еден начин
8
на групирање на овие минтерми во парови, кој на крај ја дава истата коцка од втор
ред . Пронајдете ги овие два парови.
б. Мапата на слика 7 содржи уште четири други минтерми, покрај претходното
опишаните, кои се блиски по парови и формираат коцка од втор ред. Означете ги
двата соодветни парови (со правоаголници) и запишете поедноставен израз за
нивна сума. Повторете го истото со другите два парови и потврдете дека
конечниот резултат е идентичен.
в. Постои уште еден пар на блиски минтерми. Означете го на мапата и
запишете поедноставен израз за сумата на двата минтерми.
Одговор: (а) 0111 и 1111 заедно формираат xyz ; 0011 и 1011 формираат x' yz , а
комбинирани даваат yz .
(б) {m1 , m3} и {m9 , m11} ; ( w' x ' y ' z + w' x' yz ) + ( wx ' y ' z + wx ' yz ) = x ' z . Блискоста
на паровите е покажана со цртање на линија во табелата која ги поврзува. Уште
една можност е поврзувањето на {m1 , m9 } и {m3 , m11} , а потоа групирање на двете
3-коцки.
(в) {m14 , m15 } ; wxyz + wxyz ' = wxy . Мапата е дадена на следната слика.
wx
00 01 11 10
00
yz 01 1 1
11 1 1 1 1
10 1
Дел од одговорот на вежба 5
9
кој прекинувачки закон овозможува поедноставување на изразот, а потоа
поедноставете го.
Одговор: Законот за апсорпција.
ПРИМЕР 2
10
3.3 МИНИМАЛНА РЕАЛИЗАЦИЈА НА ПРЕКИНУВАЧКИТЕ ФУНКЦИИ
Претходниот пример претставува случај во кој со употреба на логичка мапа,
можат да се добијат четири различни прекинувачки изрази кои претставуваат иста
функција и секој од нив има ист број на членови и ист број на променливи во
членовите. Не е возможно да се поедностави добиениот израз со изоставање на
некој член или со елиминирање на променлива во него, без претходно
променување на логичката вредност на функцијата.
Во примерот 2 сите четири изрази имаат ист број на членови и ист број на
литерали во членовите. Затоа сите се минимални изрази. Ова покажува дека
постоењето на минимален израз кој претставува дадена функција не секогаш
значи дека тој израз е единствен.
Дали е можно изразот да биде минимален, но не и нередуцирачки? Погледнете
ги подобро двете дефиниции. Претпоставете дека изразот е минимален, но може
да биде редуциран со елиминирање на член или променлива во членот. Ова е
контрадикторно, бидејќи ако постои можност за редуцирање, тоа би значело дека
изразот не е минимален. Заклучокот е: ако изразот е минимален, тогаш тој е и
нередуцирачки.
Дали важи спротивното? Дали е можно изразот да биде нередуцирачки, но не и
минимален? Дефиницијата за нередуцирачки израз не кажува ништо за бројот на
членови во изразот. Значи, нема причина зошто еден нередуцирачки израз да
биде и минимален.
11
Примарни импликанти
12
лоцираме оние k-коцки на логичката мапа кои не се препокриени од коцки од
повисок ред.
к-коцките импликантите
ПРИМЕР 3
13
Важноста на неопходниот примарен импликант е во тоа што тој мора да
биде вклучен во секој минимален израз кој претставува дадена функција. Поинаку
минтермот кој го претставува нема да биде препокриен.
Процесот за наоѓање на минимален израз е следниов:
1. Идентификувајте ги сите примарни импликанти. Ако тоа множество ги
покрива сите минтерми, задачата е завршена.
2. Најдете го најмалиот број на примарни импликанти кои ги препокриваат
оние минтерми што не се препокриени со неопходните примарни
имппликанти.
3. Ако постои избор во вториот чекор, одберете ги примарните импликанти
со најмалку литерали.
ПРИМЕР 3 (продолжение)
ПРИМЕР 4
Постојат шест 1-коцки: {0,4}, {4,5}, {5,7}, {7,3}, {3,2}, {2,0} кои ги претставуваат
примарните импликанти. Тие имаат одредена шема, нагласена со редоследот на
запишување на 1-коцките и нивните соодветни минтерми. Таквата мапа се
нарекува циклична мапа. Секој минтерм се појавува во точно два примарни
импликанти. Значи сите минтерми можат да бидат препокриени од две множества
со три примарни импликанти за секое, без заеднички минтерми:
14
Вежба 9 Направете мапа и најдете минимален израз сума-од-производи за
следнава функција:
f = ( A, B, C , D) = ∑ (0,1,2,3,4,8,9,10,14)
Одговор: Постојат пет вакви примарни импликанти, еден одговара на 2-коцка, а
четири одговараат на 1-коцка: {0,2,8,10}, {0,4}, {2,3}, {8,9}, {10,14}. Сите четири
1-коцки се неопходни, па мора да бидат вклучени во минималниот израз. Заедно
тие ги препокриваат сите минтерми, па останатиот примарен импликант не е
потребен, иако има помалку литерали. Минималниот израз е:
f = A' C ' D '+ A' B ' C + AB ' C '+ ACD ' .
ПРИМЕР 5
Одговор
а. Сите коцки на мапата кои немаат вредност 1 мора да добијат вредност 0.
Значи, листата е: ∏(0,1,3,5,7,8,14) = M 0 M 1M 3 M 5 M 7 M 8 M 14
15
б. Еден метод е со соодветно заокружување на нулите на мапата и резултатот
е: {1,3,5,7}, {0,8}, {14}, {0,1}.
в. Факторите во сумата се: ( w + z ' ), ( x + y + z ), ( w'+ x '+ y '+ z ), ( w'+ x'+ y ' ) .
г. Првите три члена во пример 5в се неопходни примарни импликанти и заедно
ги препокриваат сите макстерми. Значи, ќе има само еден таков израз:
f = ( w + z ' )( x + y + z )( w'+ x '+ y '+ z )
Вежба 10
а. Употребувајќи ја мапата од слика 8б, запишете го минималниот израз сума-
од-производи според заокружените k-коцки.
16
б. Нацртајте И-ИЛИ коло кое го имплементира овој израз и споредете ги
влезовите во И портите.
НИ (NAND) имплементација
Овој израз е логички производ од три членови, од кои секој е влез во И порта.
Овие членови се излези од ИЛИ порти, чии влезови пак се литералите во секоја
сума. Конечната имплементација со примитивни порти е прикажана на слика 12.
Ако ја споредиме структурата на ова коло со онаа од слика 1 ќе зебележиме
дека и двете се имплементации на две нивоа.
17
3.4 ИМПЛЕМЕНТАЦИЈА НА ЛОГИЧКИТЕ ИЗРАЗИ
18
на колата од (a) до (c) покажуваат, всушност се работи за пронаоѓање на факторот
кој одговара на логичкиот израз.
Вежба 13
a. За да извежбате, разгледајте го изразот на слика 13b. Изведете израз од
секој дел посебно за да добиете еквивалентен израз.
b. Имплементирајте го овој израз. Споредете го бројот на порти со бројот на
внатрешни врски и пропагираното задоцнување преку најдолгата патека со
тие што ги конструиравте вие во вежба 12.
Анализа
19
Слика 13 Различни кола кои имплементираат иста функција
20
Карактеристики на колата со логички порти
Вежба 15 Слика 13а и 13f се разликуваат од другите по тоа што има AND порта
на излезот. Покажете дека може да се добие еквиваленција all-NAND, но со
одредена цена. Каква цена?
Одговор -Зголеменото задоцнување е резултат на додадените NAND порти на
излезот .
Вежба 16 Од сите кола кои ја имплементираат истата функција на слика 13, она
коло кое што се менува во однос на бројот на порти, бројот на нивоа, бројот на
врски, и максимумот на fan-in е производ-од-сума колото на слика 13f. По
конвертирањето на сите кола во all-NAND кола, споредете ги слика 13с и 13f во
21
однос на бројот на порти, нивоа, врски и максимумот од fan-in. Некој коментар?
(Запаметете дека и влезните променливи и нивните комплементи се дадени.)
влез 1 0 1 0 1 0
влез 2 0 0 1 1 1
излез 0 0 0 1 0
22
стабилната вредност еднаква на 1. Оваа повремена промена се нарекува hazard
(ризик). Временските дијаграми се единственото претставување на дигиталните
системи кои имаат можност за прикажување на ваков hazard.
23
менува од 0 на 1. Ако во имплементацијата на колото вклучиме дополнителна
AND порта која ќе го имплементира изразот-производ B’C’D’, тогаш и покрај
релативните доцнења на портите 1 и 3 и промената во нивните доцнења, на
излезот нема да има hazard за наведената промена на влезот А (погледнете во
поглавје 7 за покомплетно објаснување.)
3
(изразот-продукт што треба да се вклучи за да се елиминира hazard-от е A’B’C’)
24
Слика 16 Мапите на функцијата f = ∑(0,2,7,12,13,14,15) + ∑d(6,8)
Пример 6
Дво-битни компаратори
4
a. Минтерм листата, вклучувајќи ги и не е важно излезите, е f = ∑(1, 2, 4, 8) + ∑d(10, 11, 12,
13, 14, 15). Вашата мапа треба да има единици во келиите 1, 2, 4, 8 и не е вжно во 10, 11,
12, 13, 14, 15.
b. Ниту еден од минтермите не може да се искомбинира за да формира коцка, заоа
искористете ги не е важно за да формирате коцка од прв ред со минтерми 2, 4 и 8. Нема
коцки од повисок ред. Минтермот 1 (20) не формира ниту еден к- коцка со друг минтерм
или со не е важно. Според тоа минималниот сума-од-производи израз е
f = x2 ' x1 x0 + x2 x1 ' x0 '+ x3 x1 ' x0 '+ x3 ' x2 ' x1 ' x0 . На прво ниво има три AND порти со по три
влеза и една AND порта со чертири влеза и четиривлезна OR порта на второто ниво.
c. Има шест минтерми кои одговараат на декадните броеви кои не се во минтерм листата.
Мкстермот 0000 не се комбинира со ниту еден друг макстерм или со не е важно.
Макстермот 1101 се комбинира со три не е важно излези за да формира коцка од втор ред.
Макстермот 0111 се комбинира одделно со секој од другите три макстерми и два не е
важно за да формира други три квдрати од втор ред. p-of-s изразот е
f = ( x 3 '+ x 2 '+ x 1 '+ x 0 ' )( x 3 + x 0 )( x 2 + x 0 )( x 1 + x 0 )( x 2 + x 0 ) .
d. На прво ниво има четири двовлезни и една четири влезна OR порта и петвлезна AND
порта на второто ниво
5
G значи „поголемо од“ и т.н.
26
Ei = ( xi <=> yi ) = ( xi ⊕ y i ) ' = ( xi yi '+ xi ' yi ) ' = xi + xi ' yi ' , i = 1, 0
Вежба 19
a) Конструирајте логички дијаграм чии што влезови се x1 , y1 x0 , y0 а излезот е E .
Искористете го изразот од десно во (1) и исто така E = E1 * E 0 и претпоставете
дека сите битови се дадени паралелно. Иако можеби ќе бидете во искушение
да погледнете во дијаграмот на слика 17, видете ја сликата откако прво ќе се
обидете сами.
b) На слика 17b, претпоставете дека XNOR портите се заменети со XOR порти.
Која друга дополнителна измена треба да се направи?
Одговор 6
6
Влезовите на AND портата треба да бидат комплементирани, па така E = E1 ' E0 ' = ( E1 + E0 ) .
Заменете ја AND портата со NOR порта.
27
• Ако x1 = y1 , тогаш можеме да ја испитаме следниот помалку значаен бит. Во
овој случај G може да биде 1 само ако x0 > y0 . (За L може да се направи
сосема сличен преглед . Изведете го експлицитно.)
Генерализација
7
G = x1 y1 '+ x0 y0 ' ( x1 y1 + x1 ' y1 ' ) = x1 y1 ' E1 , каде што E1 = x1 y1 + x1 ' y1 ' е излезот на XNOR портата
како што е покажано на слика 17b. Во согласност со (13) од второто поглавје и дискусијата е исто
така иста ( x1 ↔ y1 ) = ( x1 + y1 )' = ( x1 y1 '+ x1 ' y1 ' )' . Иако E1 = 0, тоа значи првите битови од двата
броја не се еднакви. Првиот израз покажува дека единствениот начин за G да биде 1 е
x1 = 1, y1 = 0 , безависно од вторите битови. Ако E1 = 1, тогаш првите битови од двата броја мора
да бидат исти и според тоа, првиот израз во G е 0 и G се намалува на x0 y0 ' . Единствениот начин
за G да биде 1 е за x0 = 1, y0 = 0 , а со тоа се потврдува дека X>Y.
8
L = x1 ' y1 + x1 ' x0 ' y1 ' y0 + x1 x0 ' y1 y0 = x1 ' y1 + x0 ' y0 E1 . Изведете ја анализата од фуснотата 25 за
да се уверите дека изразот го дава точниот резултат.
28
различни пристапи во зависност од тоа дали бројотна битови е парен или
непарен. Ќе го разгледаме прво случајот со со 4 битови.
4-битни компаратори
Компараторите на кои било два броја со ист број на битови може да се добие на
сличен начин. Најпрво се третираат паровите од битови од повисок ред. Ако
G = 1 или L = 1, тоа одлучува без понатаму да се проверуваат битовите од
понизок ред. Следниот по ред пар од битови од повисокиот ред се разгледуват на
истиот начин. Само ако Е = 1 во секој од пар од битови, ќе биде неопходно да се
проверува следниот пар од пониско ниво. Единствениот случај во кој ќе има
потреба да се поверуваат паровите од најниското ниво е кога сите претходни
битови во двата броја биле исти. Деталите ќе бидат оставени на вас да ги
добиете при решавање на проблем.
Компараторите на два броја A = Xa0 и B = Yb0 кои имаат непарен број на битови
може да се добие со тргање на (lsb) најнезначајниот бит од двата броја на страна
и со конструирање на компаратор за двата броја кои ќе имаат парен број на
битови, Х и Y. Запаметете дека овој компаратор ќе има три излези. Ако излезот G
претставува Х >Y, тогаш независно од најмалку значајните битови, A>B. Од друга
страна пак, ако L претставува X<Y, тогаш независно од најнезначајниот бит, A<B.
Само ако X=Y (кое значи E=1) тогаш најнезначајните битови ќе ги земеме во
предвид. Значи, дополнително осигурување ќе биде потребно само ако X=Y.
Тогаш треба да се изведе процедура слична претходната за броеви од по еден
бит, каде двата број кои ќе ги соредуваме се a0 и b0 . Деталите ви се оставени на
вас да ги разгледате во делот со проблеми.
29
3.8 ОДРЕДУВАЊЕ НА ПРИМАРНИ ИМПЛИКАНТИ:
ТАБЕЛАРНА МЕТОДА
9
Елиминирајќи неколку порти од дизајнот може да предизвика големи придобивки за цена на
редуцирањето, бидејќи дизајнот на малите кола вообичаено се изведува со SSI кола во кои
повеќекратните примарни порти од ист тип и истото fan-in се пакуваат заедно. Но сепак, има некои
интелектуални придобивки во разбирањето на инволвираниот коцепт: и во подлабоко разбирање
на структурата на логичките кола. Понатаму, „големи“ кола нормално се имплементираат со
препакување на „програмбилни логичкки уреди“ (PLDs) кои ќе ги разгледуваме во следното
поглавје. Внатрешната структура на овие уреди е AND-OR во две нивоа, со фиксен број на АND
порти. Ако неминимизираната функциа има премногу АND порти дури и достапните PLDs нема да
можат да се искористат за имплментација. Според тоа, минимизацијата е неопходна алатка
особено за функии со голем бој на променливи. Уште повеќе, Концептот развиен во контекс на
минимизација на прекинувачки функции може да се искоисти и во други случаи. На пример,
минимизација на експеимент за дијагностицирање на грешките во логичките кола , Понапредна
област која не е тема на оваа книга.
10
За објаснување на јазикот Pascal за изведување на алгоритмот на Quine-McCluskey , погледнете
p.p 236-243 од Warkly, Digital Design. (Видете Bibliography). Процесот опишан во ова поглавје е
алгоритамски и повторлив. Може да се разгледа тенденциозно. Откако пости компјутерскиот
програм за алгоритмот постои и објаснувањето, Кое можеби ќе сакате да го скокнете.
30
Претставување на соседни к-коцки
Секоја бит позиција во бинарниот број одговара на 2. Кога два соседни к-коцки
формираат (к+1)-коцка, позицијата во која се разликуваат бинарните вредности се
заменува со ―, како што е прикажано погоре.
Следното прашање кое се поставува е: Дали бинарната репрезентација на
два соседни минтерми се разликува за точно една позиција и како се разликуваат
нивните декадни репрезентации? Откако секоја апозиција одговара на 2 и откако
битот на оваа позиција е 1 во едниот минтерм и 0 во другиот минтерм, разликата
на во двете декадни репрезентации е точно на степен два. т.е.,
32
Истовремено двете коцки мора да се разликуваат за точно една позиција.
Овие два чекори се потврдуваат во двата чекори со споредба на секој коцка од
прв ред од првата категорија со тие од втората категорија. Најпрво броевите во
загради мораат да се сложуваат. Потоа првите два минтерми во секој коцка од
прв ред мораат да се разликуваат за степен два ако двата коцки од прв ред се
соедни. (Ако сите минтерми се подредат според соседност за секој коцка од к-ти
ред, тогаш доволно е да се п ровери само првиот минтерм. Другите автоматски ќе
се разликуваат за степен два.)
Почнувајќи од коцката од прв ред 2, 3 (1), на пример, единствените коцки од
прв ред за проверка во следната група се оние кои имаат (1) во заградите: 10, 11
(1) и 12, 13 (1). Проверуваме дали првите минтерми од паровите на коцки од прв
ред се разликува за степен два. Забележуваме дека 2 и 10 се разликуваат за
степен два, но 2 и 12 не. Што значи дека само (2,3,10,11) формират коцка од втор
ред. За да се определат позициите за кои се разликуваат нивните битови, ги
запишуваме 1 и 8 во згради, како што е покажано во последната колона од
табелата.
Следниот коцка од прв ред во првата група е 2, 10 (8), е проверен со тие од
следната група. Единствените кандидати со кои можат да се формираат коцки од
втор ред се тие со 8 во заградите: 3, 11 (8) и 5, 13 (8). За 3, 11(8), првите минтерми
(2 и 3) се соседни, но не и за 5, 13 (8). Коцката од втор ред која се формира е
(2,3,10,11) (1, 8). Тоа е истиот кој веќе го најдовме и нема потреба повторно да го
зпишуваме. Со секој чекор се штиклираат коцките од прв ред кои формирале
коцка од втор ред, како да биле препокриени и според тоа не се примарни
импликанти. Со процесот на формирање на коцка од втор ред се продолжува се
додека има коцки од прв ред. Во дадениот пример, постојат само два коцки од
втор ред. Осум од коцките од прв ред се целосно препокриени со нив, и
остануваат четири непрепокриени коцки од прв ред. Сите овие четири коцки од
прв ред претставуваат примарни имликанти, правејќи вкупно шест во прикажанта
табела.
Описот кој што беше даден е доста долг, но всушност самиот процес е
релативно едноставен. Неколку чекори се повторуваат постојано и како што веќе
кажавме може да се имплементира компјутерски.
33
Табела 1
34
Пример 7
15,31(16) √
23,31(8) √
35
Избор на минимални изрази
2 3 4 5 7 8 10 11 12 13
P1 √ √ √ √ P1=B'C
P2 √ √ √ √ P2=BC'
P3 √ √ P3=AB'D'
P4 √ √ P4=AC'D'
P5 √ √ P5=A'CD
P5 √ √ P6=A'BD
а)
2 3 4 5 7 8 10 11 12 13
*P1 √ √ √ √
*P2 √ √ √ √
P3 √ √
P4 √ √
P5 √ √
P5 √ √
b)
36
На слика 21, има четири различни минтерми, но само два од нив се неопходни, и
се означени со ѕвездичка. Минтермите препокриени од неопходните примарни
импликанти не мора да бидат покриени од ниту еден друг примарен импликант. За
да се одредат веќе покриените минтерми, во редицата на примарниот импликант
се штиклираат броевите на минтермите во соодветната колона. Единствените
минтерми кои на се покриени од Р1 и Р2 се 7 и 8. Од соодветните колони се
забележува дека минтермот 7 е покриен со Р5 или со Р6, а минтермот 8 е покриен
со Р3 или со Р4.
Бидејќи бројот на литерали во секој од овие е ист, изборот на која и да било
комбинација ќе го даде исиот минимален израз:
f = P1 + P2 + P3 + P5 = P1 + P2 + P3 + P6 = P1 + P2 + P4 + P5 = P1 + P2 + P4 + P6
√ √ √ √ √ √ √ √ √ √ √
0 4 5 7 9 12 13 14 15 23 31
*P1 √ √ √ √ √ √ √
*P2 √ √
*P3 √ √ √ √
P4 √
*P5 √ √
P6 √
37
елементи. Тие не се дадени како минтерми во табелата на примарни импликанти
на слика 22. Забележете од колоните Р1, Р2, Р3 и Р4 дека редицата која одговара
на коцка од к-ти ред нема потреба од 2к штиклирки. Има четири неопходни
примарни импликанти и заедно тие ги покриваат сите минтерми. Од тука
единствениот минимален израз е:
f = P1 + P2 + P3 + P5 = А`С + В`D`E` + CDE + A`BD`E
Колата кои до сега ги разгледувавме имаа само по еден излез. Сепак, многу
практични кола имаат по повеќе од еден излез независно од истата група на
влезови. Сличен пример е следниов минтерм израз кој што опишува коло со три
влеза и три излези:
38