En aquest exemple, es representa 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)
Les files corresponen a les combinacions de A
i B
(en l'ordre Gray: 00, 01, 11, 10), i les columnes a les combinacions de C, D, E
(en l'ordre Gray: 000, 001, 011, 010, 110, 111, 101, 100). D'aquesta manera, la taula té 4 files i 8 columnes (4 × 8 = 32 cel·les) que cobreixen totes les combinacions possibles.
m(0) = 00000
→ AB = 00 i CDE = 000 → F = 1.m(2) = 00010
→ AB = 00 i CDE = 010 → F = 1.m(4) = 00100
→ AB = 00 i CDE = 100 → F = 1.AB | CDE | |||||||
---|---|---|---|---|---|---|---|---|
000 | 001 | 011 | 010 | 110 | 111 | 101 | 100 | |
00 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 |
01 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 |
11 | 1 | 0 | 0 | 1 | 1 | 0 | 0 | 1 |
10 | 0 | 1 | 1 | 0 | 0 | 1 | 1 | 0 |
Analitzant la taula, podem extreure grups (agrupaments de 1's) que indiquen que algunes variables (per exemple, la variable E
) poden no influir en certs grups. Així, per exemple, si un grup inclou cel·les que difereixen només en E
, podem eliminar aquesta variable del terme corresponent.
La representació unificada, amb les files per A, B
i les columnes per C, D, E
, és completament equivalent a separar la informació en dues capes. Així, es poden obtenir els mateixos grups i, per tant, els mateixos termes simplificats.
Per exemple, en els mètodes anteriors es va arribar a:
F = (A XNOR B) XOR E
F₂ = (A'B') + (AB · C') + (A'B · C · E) + (AB' · E)
La taula unificada permet identificar aquests grups de manera directa a través de l’ordenació dels 32 casos.
Sí, és possible fer el problema amb solapament vertical en una única taula on les files corresponen a les variables A i B i les columnes a les variables C, D i E. Aquesta representació també condueix als mateixos resultats de simplificació, tot i que l’enfocament visual és diferent.