Tabla de verdad en una matriz lógica programable en electrónica digital

Mira a Z0 y Z1 como problemas independientes. Aquí está Z0:

 x2  x1  x0  z0
  0   0   0   0
  0   0   1   0
  0   1   0   0
  0   1   1   0
  1   0   0   1
  1   0   1   0
  1   1   0   0
  1   1   1   1

Desde las primeras cuatro líneas, es obvio que

z0 = x2 AND f (x1, x0)

Dicho de otra manera, cuando X2 es 0, Z0 también es 0. Puesto de otra manera, cuando X2 es 0, nada más importa. Esto significa que hemos terminado con las primeras cuatro líneas. La ecuación anterior produce el resultado correcto independientemente de lo que X1 y X0 estén haciendo allí. Esto significa que ahora solo tenemos que mirar las últimas tres columnas de las últimas cuatro líneas para determinar f (x1, x0):

x1  x0  f(x1,x0)
 0   0         1
 0   1         0
 1   0         0
 1   1         1

Con una tabla tan pequeña, se puede ver inmediatamente después de la inspección que se trata de un XOR invertido, a veces llamado XNOR.

Poniendo todo esto en conjunto:

z0 = x2 AND (NO XOR (x1, x0))

Ahora determina la ecuación para Z1 de manera similar. Si no puede ver los patrones solo mirando, como se muestra arriba, use el método de mapa de Karnough generalizado.