Es demana obtenir la funció lògica en forma de suma de minterms per un sistema de 5 variables. A partir d’aquesta, es representa la taula de veritat, es dissenyen els mapes de Karnaugh i es simplifica pas a pas. A continuació, es presenten dues aproximacions:
E) es mostra de manera independent.E = 0 i per E = 1, evidenciant agrupaments verticals reals.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)
A B són iguals, és a dir, 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, és a dir, 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 de manera independent.
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.
A partir dels mapes observats:
F = 1 quan AB = 00 o 11 → equivalent a A XNOR B.
F = 1 quan AB = 01 o 10 → equivalent a A XOR B.
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 aquesta aproximació, es combina la informació de les dues capes en una única taula de veritat (o mapa de Karnaugh combinat) que mostra, per cada posició, el valor de F per E = 0 (superior) i per E = 1 (inferior).
A més, es defineix una funció diferent, F₂, amb un patró que permet observar solapaments verticals reals:
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 (això es solapa 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 (ara hi ha 1 en la capa 1, mentre que en la capa 0 són 0).La taula combinada mostra cada cel·la dividida verticalment:
| 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 (tant per E=0 com per E=1).00 i 01 mostren 1 en ambdós nivells.Analitzant la taula de solapament vertical per F₂, podem extreure els següents termes:
E → contribueix amb el terme A'B' (A = 0, B = 0).
00 i 01, amb F₂ = 1 en ambdós nivells, s'extreu el terme AB · C' (suponent que a CD = 00 i 01, C = 0).
E = 1 en les columnes 11 i 10 → contribueix amb el terme A'B · C · E (on C = 1).
E = 1 (i 0 en la capa 0) → es té el terme AB' · E.
La funció final 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 (Sense Solapament Vertical – Part 1):
F = (A XNOR B) XOR E
Funció simplificada (Amb Solapament Vertical – Part 2, 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 tant dins de cada mapa com 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ó.