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ó.