Es demana obtenir la funció lògica en forma de suma de minterms per un sistema de 5 variables, i a partir d’aquesta representar la taula de veritat, dissenyar els mapes de Karnaugh i optimitzar-la pas a pas.
E) es mostra per separat.Es defineix la funció:
F(A, B, C, D, E) = Σ m(0, 2, 4, 6, 9, 11, 13, 15, 17, 19, 21, 23, 24, 26, 28, 30)
On:
A B són iguals: 00 o 11): els minterms són m(0), m(2), m(4), m(6) i m(24), m(26), m(28), m(30).
A B són diferents: 01 o 10): els minterms són m(9), m(11), m(13), m(15) i m(17), m(19), m(21), m(23).
E.
En aquesta capa, F = 1 quan AB = 00 o 11.
| AB | CD | |||
|---|---|---|---|---|
| 00 | 01 | 11 | 10 | |
| 00 | 1 | 1 | 1 | 1 |
| 01 | 0 | 0 | 0 | 0 |
| 11 | 1 | 1 | 1 | 1 |
| 10 | 0 | 0 | 0 | 0 |
1 per E = 0.
En aquesta capa, F = 1 quan AB = 01 o 10.
| AB | CD | |||
|---|---|---|---|---|
| 00 | 01 | 11 | 10 | |
| 00 | 0 | 0 | 0 | 0 |
| 01 | 1 | 1 | 1 | 1 |
| 11 | 0 | 0 | 0 | 0 |
| 10 | 1 | 1 | 1 | 1 |
E.
Observem que:
F = 1 quan AB = 00 o 11 → equivalent a A XNOR B.
F = 1 quan AB = 01 o 10 → equivalent a A XOR B.
Per tant, la funció global es pot expressar com:
F = (E' · (A XNOR B)) + (E · (A XOR B))
O, combinant els termes:
F = (A XNOR B) XOR E
En aquest mètode es combina la informació de les dues capes en una única taula. Es defineix una funció diferent (F₂) amb un patró que permet observar solapaments verticals reals:
Per F₂ es defineix que:
AB = 00: Totes les cel·les (tots els valors de CD) són 1.AB = 01: Totes les cel·les són 0.AB = 11: Les cel·les per CD = 00 i 01 són 1; per CD = 11 i 10 són 0.AB = 10: Totes les cel·les són 0.AB = 00: Totes les cel·les són 1 (més unificació vertical amb la capa 0).AB = 01: Les cel·les per CD = 00 i 01 són 0; per CD = 11 i 10 són 1.AB = 11: Les cel·les per CD = 00 i 01 són 1 (solapament vertical amb la capa 0); per CD = 11 i 10 són 0.AB = 10: Totes les cel·les són 1 (sense solapament, ja que la capa 0 és 0).A continuació es mostra la taula on cada cel·la conté dos valors:
| AB | CD | |||
|---|---|---|---|---|
| 00 | 01 | 11 | 10 | |
| 00 |
1
1
|
1
1
|
1
1
|
1
1
|
| 01 |
0
0
|
0
0
|
0
1
|
0
1
|
| 11 |
1
1
|
1
1
|
0
0
|
0
0
|
| 10 |
0
1
|
0
1
|
0
1
|
0
1
|
1 en totes les cel·les per ambdós valors (E=0 i E=1).00 i 01 tenen 1 per ambdós nivells.Analitzant la taula de solapament vertical per F₂, es dedueix:
E. Això condueix al terme A'B' (amb A = 0 i B = 0).
00 i 01 (on es troba verticalment 1 en ambdós nivells), el valor és 1 independentment de E; es pot extreure el terme AB · C' (ja que per columnes 00 i 01, C = 0).
11 i 10 quan E = 1, donant el terme A'B · C · E (ja que per aquestes columnes, C = 1).
E = 1 (i 0 quan E = 0), resultant en el terme AB' · E.
Per tant, la funció simplificada per F₂ amb solapament vertical és:
F₂ = (A'B') + (AB · C') + (A'B · C · E) + (AB' · E)
E.
Funció no simplificada:
F(A, B, C, D, E) = Σ m(0, 2, 4, 6, 9, 11, 13, 15, 17, 19, 21, 23, 24, 26, 28, 30)
Funció simplificada (Part 1 – sense solapament vertical):
F = (A XNOR B) XOR E
Funció simplificada (Part 2 – amb solapament vertical per F₂):
F₂ = (A'B') + (AB · C') + (A'B · C · E) + (AB' · E)
Un mapa de Karnaugh de 4 variables té 16 cel·les (2⁴ = 16). Amb 5 variables hi ha 32 combinacions, per això es divideix en 2 capes:
La separació en capes permet identificar agrupaments dins de cada mapa i també entre capes. Quan dues cel·les en la mateixa posició (una per cada capa) són 1, es pot realitzar una agrupació vertical que simplifica la funció.