Tabla de verdad y mapas de Karnough

Una tabla de verdad, consta de un bloque de entradas y una o varias salidas; los conteos
binarios de la cual constara en la tabla dependen del número de variables de entrada, para
saberlo con la siguiente expresión :

#conteos= 2#𝑣𝑎𝑟𝑖𝑎𝑏𝑙𝑒𝑠 ; por ejemplo, si tenemos 4 variables #conteos= 24 =16.

Una tabla de verdad es una interpretación de un problema planteado y corresponde a las

entradas; y una solución del problema planteado el cual corresponde a la salida(s).
Las entradas representan todas las posibles combinaciones de eventos.

Ejemplo: Tenemos una bóveda, para acceder a ella tenemos que pasar 3 puertas(A,B,C),
cada puerta tiene un sensor(1 lógico si está abierta, 0 lógico si está cerrada), tenemos una
alarma sonora la cual se activada(con 1 lógico) y desactivada(con 0 lógico) ; la condición es
que si 2 o más puertas están abiertas, la alarma se activara.
Tenemos 3 variables de entrada(A,B,C), y una salida(Sonora). Por tanto, tenemos:

#conteos=23 =8.
Entonces elaboramos nuestra tabla de verdad. Considerar la variable A como la de mayor
peso, B le sigue y C.
Vamos a poner del lado izquierdo de la tabla, el valor BCD en decimal de la entrada de ese
renglón.
La salida la vamos a denotar con F.

1 Profe Isidro Melchor Osorio

 Tabla de verdad de acceso a la bóveda.

Valor BCD de Entradas Salida

las entradas ABC F
0 000 0

1 001 0
2 010 0
3 011 1
4 100 0
5 101 1

6 110 1
7 111 1

La anterior tabla interpreta el problema planteado y su solución(F); el siguiente paso será

minimizar F, lo cual lo haremos con mapas de Karnough.

2 Profe Isidro Melchor Osorio

 Mapas de Karnough
Hay mapas de Karnough de 3 variables(8 casilleros), 4 variables(16 casilleros) y 5
variables(32 casilleros).

La utilización de los mapas de Karnough es esencial, para la minimización de los circuitos

eléctricos; lo cual se traduce en el menor numero posible de compuertas eléctricas. El cual
es el objetivo del curso.

Minimización en un mapa, es el menor numero de enlaces y cada enlace debe contener el

mayor número de elementos ya sea que se manejen minitérminos(1´s) o maxitérminos(0´s).

Elementos adyacentes son los que se encuentran un casillero al lado de otro ya sea arriba,
abajo, al lado o al extremo en el renglón o columna, de otra manera son inválidos (diagonal
o alejados saltándose un casillero)

Empezamos con los de 3 variables, el mapa es el siguiente:

B C A
0 4
1 5
3 7
2 6

Tiene 8 casilleros, en cada casillero tiene marcado la ubicación de los 8 minitérminos (0 a

7), los cuales se pueden agrupar en 1,2,4,8 elementos fuera de esto no es válido. Y es el
mismo para maxitérminos, pero lo veremos más adelante.
La variable A abarca la columna 1 y 2; columna 1 ausencia de raya, columna 2 raya.
La variable B abarca 4 renglones; renglón 1 y 2 ausencia de raya, renglón 3 y 4 raya.
La variable C abarca 4 renglones; renglón 1 y 4 ausencia de raya, renglón 2 y 3 raya.

Son 2 casilleros adyacentes:

0 y 4; 0 y 1; 0 y 2.
1 y 0; 1 y 5; 1 y 3.
3 y 1; 3 y 7; 3 y 2.

3 Profe Isidro Melchor Osorio

2 y 3; 2 y 8; 2 y 0.
4 y 0; 4 y 5; 4 y 8.

5 y 4; 5 y 1; 5 y 7.
7 y 5; 7 y 3; 7 y 6.
8 y 7; 8 y 2; 8 y 4.

Son adyacentes 4 casilleros:

0,1,2,3; 0,1,4,5; 0,4,2,6.

1,3,5,7.
3,2,7,6.
4,5,6,7.
Son adyacentes 8 casilleros:

0-7.

Cuando obtengamos los minitérminos minimizados, la raya indica variable presente, la

ausencia de raya indica variable negada y si hay en ambos (raya y ausencia de raya) la
variable se cancela.

Resolvamos el ejemplo anteriormente propuesto, el de la bóveda.

Utilizaremos los minitérminos(1´s) los cuales de acuerdo al valor BCD de entrada de la tabla
de verdad son:
F(A,B,C)=∑(3,5,6,7)

El símbolo ∑ denota minitérminos.

Nota: un minitérmino, se puede usar para varios enlaces, todo con el objeto de agrupar los
más elementos posibles.
Colocamos nuestros minitérminos en sus respectivos casilleros.

4 Profe Isidro Melchor Osorio

Tenemos que:
Son 3 agrupaciones y cada una con 2 minitérminos.
F(A,B,C)= BC+AC+AB ; expresión minimizada.

BC es la agrupación de m3(minitérmino 3) y m7(minitérmino 7); ya que abarca las 2

columnas se anula A; y un renglón con raya para B y C.

AC es la agrupación de m5 y m7; ya que abarca la columna A con raya, los 2 renglones de C

con raya; un renglón con raya y otro renglón sin raya de B, por tanto, se anula B.
AB es la agrupación de m6 y m7; ya que abarca la columna A con raya; los 2 renglones de B
con raya; un renglón con raya y otro renglón sin raya de C, por tanto, se anula C.
Nota: Los casilleros 0,1,2 y 4, se dejan sin nada o se ponen 0´s, los cuales no utilizamos.

La variable de mayor peso (A para este caso), abarca una columna sin raya y otra con raya.
La variable que sigue (B para este caso), abarca renglones 1 y 2 sin raya; renglones 3 y 4 con
raya.
La variable de menor peso (C para este caso), abarca renglones 1 y 4 sin raya; renglones 2 y
3 con raya.

Recordar que para minitérminos la raya significa variable presente y la ausencia de ella
variable negada:
5 Profe Isidro Melchor Osorio
 A) 1 columna con raya, variable presente.
B) 1 columna sin raya, variable negada.
C) 1 renglón con raya, variable presente.
D) 1 renglón sin raya, variable negada.
E) 2 renglones con raya, variable presente.
F) 2 renglones sin raya, variable negada
G) Y si tiene la misma cantidad de raya y ausencia de la misma se cancela la variable(1
renglón con raya y 1 renglón sin raya; 2 renglones con raya y 2 renglones sin raya;1
columna con raya y 1 columna sin raya).

Veamos otro ejemplo:

F(X,Y,Z)=∑(0,1,2,4,6,7)

𝐹(𝑋, 𝑌, 𝑍) = 𝑍 + 𝑋 𝑌 + 𝑋𝑌

𝑍 de la agrupación de m0, m2, m4, m6.

𝑋 𝑌 de la agrupación de m0, m1.

𝑋𝑌 de la agrupación m6, m7.

6 Profe Isidro Melchor Osorio

Para cuando F(a,b,c)=∑(0-7)=1; significa que se conecta a Vcc.
Para cuando F(a,b,c)=∑( )=0, significa que se conecta a GND.

7 Profe Isidro Melchor Osorio