Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Ingeniera de Sistemas
Digitales I
INDICE
Introduccin a la Lgica Combinacional.... 3
Algebra de Boole 3
- Propiedades 3
- Teoremas. 4
- Ejercicios con demostraciones.. 5
Compuertas lgicas 8
- Ejemplos 9
- Ejercicios 10
Tabla de la verdad y Mapas de Karnaugh..... 13
- Ejemplos..... 13
- Ejercicios.... 16
Problemas Propuestos... 20
Referencias Bibliogrficas.... 23
UNEXPO
Ingeniera de Sistemas
Digitales I
UNEXPO
Ingeniera de Sistemas
Digitales I
UNEXPO
Ingeniera de Sistemas
Digitales I
Solucin:
Aplicamos los negadores que estn fuera de los parntesis:
(AB)(AB)
Notamos que A y B poseen doble negacin cada uno, y por propiedad sabemos que
A = A entonces reescribimos la funcin:
(A B) (A B)
Aplicamos Distributiva:
A A + A B + B A + B B
Notamos que A.A = 0, entonces reescribiendo tenemos:
0 + A B + B A + 0
Finalmente nos queda:
A B + B A = Respuesta.
Ejercicio #2:
Verificar la siguiente igualdad:
A + BC + AB + C(A+C) + A(BC+B) = A + B + C
Solucin:
Aplicando Distributiva queda:
A + BC + AB + CA+ CC + ABC + AB
Por Propiedad: CC = 0 ;
A + BC + AB + CA + ABC + AB
Por Propiedad: AB + AB = AB ;
A + BC + AB + CA + ABC
Fact. Comn AB;
A + BC + AB(1+C) + CA
Por Propiedad: 1+C = 1 ;
A + BC + AB + CA
Fact. Comn A;
A(1+C) + BC + AB
Por Propiedad: 1+C = 1 ;
A + BC + AB
Por Absorcin A + AB = A + B
A + BC + B
Por Absorcin B + BC = B + C
A + B + C = Respuesta.
4
UNEXPO
Ingeniera de Sistemas
Digitales I
Ejercicio #3:
Verificar la siguiente igualdad:
( A ( B+ C ( D + A ) ) ) = A + BC + BD
Solucin:
Ejecutamos el Negador de afuera y tenemos:
A + ( B + C ( D + A ) )
Ejecuto el negador dentro del parntesis:
A + (B) (C ( D + A ) )
Sigo ejecutando los negadores:
A + B ( (C) ( D + A ) )
Ejecuto negador:
A + B ( C + DA )
Distributiva:
A + BC + BDA
Por Absorcin
A + BC + BD = Respuesta.
Ejercicio #4:
Encontrar la mnima expresin:
A(B+C) + BD + A(C+D)B(C+B)A
Solucin:
Trucos = Tenemos 3 trminos, se pueden trabajar por separados y juntar al final:
Trmino 1: A(B+C)
Trmino 2: BD
Trmino 3: A(C+D)B(C+B)A
Vemos que los ms sencillos son el termino 1 y 2, al 1 se le aplica una distributiva, y el
2 se deja intacto:
AB + AC + BD + A(C+D)B(C+B)A
Manipulando el 3 tenemos:
AB + AC + BD + AB(C+D)(C+B)
Distributiva:
AB + AC + BD + ABCC + ABCB + ABDC + ABDB
Simplificando trminos, por propiedades ABCC = 0 , ABCB = 0, ABDB = 0 , :
AB + AC + BD + ABDC
Fact. Comn AC; AC(1 + BD) = AC :
AB + AC + BD = Respuesta.
UNEXPO
Ingeniera de Sistemas
Digitales I
Ejercicio #5:
Encontrar la mnima expresin:
ABCE + AC + ABCD + ACD + B(ACDA+ACE)
Solucin:
Linealizo mi funcin, y simplifico trminos por propiedades:
ABCE + AC + ABCD + ACD + BACD + BACE
Fact. Comn y simplifico ACD:
ABCE + AC + ACD + BACD + BACE
Acomodo mis variables en orden para proseguir:
ABCE + AC + ACD + ABCD + ABCE
Fact. Comn AC :
ABCE + AC + AC (D+BD+BE)
Manipulo lo que est dentro del parntesis con absorcin:
ABCE + AC + AC (D+B+BE)
Manipulo lo que est dentro del parntesis con Fact. Comn B :
ABCE + AC + AC (D+B)
Linealizo la funcin:
ABCE + AC + ACD+ ACB
Fact. Comn C :
C(ABE+ A) + ACD+ ACB
Absorcin dentro del parntesis, luego distributiva y finalizo :
BCE + AC + ACD+ ACB = Respuesta.
Ejercicio #6:
Encontrar la mnima expresin:
( ABCD + AB + ABD(E+F) )
Solucin:
Juego con el Negador de Afuera y nos queda:
(ABCD) (AB) (ABD(E+F))
Sigo aplicando los negadores y distributivas, hasta tener algo lineal:
(A+B+C+D) (A+B) ( (ABD)+(E+F))
(A+B+C+D) (A+B) (A+B+D+EF)
Distributivas:
(A+AB+AB+B+AC+BC+AD+BD) (A+B+D+EF)
Elimino trminos y Fact. Comn A y B:
(A(1+B+C+D) + B(1+C+D)) (A+B+D+EF)
(A+ B) (A+B+D+EF)
Distributvas y Fact. Comn A y B:
(A+AB+AD+AEF+AB+B+BD+BEF)
A(1+B+D+EF+B) + B(1+D+EF)
Al final tenemos:
A + B = Respuesta.
UNEXPO
Ingeniera de Sistemas
Digitales I
COMPUERTAS LGICAS
Las compuertas lgicas, son una manera grafica de representar las funciones de
algebra de boole, su finalidad es expresar las propiedades de boole, sumas, multiplicaciones,
negaciones, a continuacin veremos las compuertas y sus diferentes funciones:
Compuerta OR (Smbolo + )
0
F = A+ B
Compuerta AND (Smbolo . )
F = A. B
Compuerta X-OR (Smbolo )
F =A B
F = AB + AB
A
0
0
1
1
B
0
1
0
1
F
0
1
1
1
A
0
0
1
1
A
B
0
1
0
1
B
F
0
0
0
1
F
0
0
1
1
0
1
0
1
0
1
1
0
A
0
1
F = A
Compuerta NOR
F = (A + B)
Compuerta NAND
F = (AB)
Compuerta X-NOR
F = (A B)
F = AB + AB
F
1
0
A
0
0
1
1
B
0
1
0
1
F
1
0
0
0
A
0
0
1
1
A
0
0
1
1
B
0
1
0
1
B
0
1
0
1
F
1
1
1
0
F
1
0
0
1
Con estas compuertas lgicas, podremos armar circuitos, en los cuales se introducen
variables como; A, B, C, D, , Z., las cuales tendrn valores entre 1 y 0, e indicaran la
funcionalidad de cada compuerta tanto en su entrada como en su salida. Un ejemplo ms
claro se ve a continuacin:
Ejemplo:
7
UNEXPO
Ingeniera de Sistemas
Digitales I
AB + CD
(A+B)(C+D)
Aplicando esto, a los ejercicios 1 y 5 que tenemos en la primera parte de las funciones
de algebra booleana, tenemos lo siguiente:
Ejercicio #1:
(A + B) (A +B)
8
UNEXPO
Ingeniera de Sistemas
Digitales I
Ejercicio #2:
ABCE + AC + ABCD + ACD + B(ACDA+ACE)
Ejercicio #3:
Ahora lo haremos de manera inversa, primero colocaremos las compuertas, y deberemos
hallar la funcin completa:
UNEXPO
Ingeniera de Sistemas
Digitales I
Ejercicio #4:
Ejercicio #5:
Ahora veremos un ejercicio de cmo debe ser un circuito con compuertas y valores 1 y 0, de
acuerdo al caso:
10
UNEXPO
Ingeniera de Sistemas
Digitales I
Pueden verse ejercicios con compuertas lgicas, en los que te dan solo las
compuertas con sus respectivas variables de entrada, y te piden hallar, funcin completa y
adems simplificarla, ya con lo que hemos visto estamos en la capacidad de hacer ese tipo
de ejercicios, vase el ejercicio 1,2,3, y 4 de compuertas lgicas, al final se representa la
funcin completa, y stas se simplifican como los ejercicios 1,2,3,4,5 y 6 de lgebra de boole.
TABLA DE LA VERDAD Y MAPAS DE KARNAUGH
La Tabla de Verdad est diseada para 1, 2, 3, y 4 bits, o por lo menos hasta all
daremos abarcaremos en esta sesin; la tabla de la verdad interacta en conjunto con los
Mapas de Karnaugh igualmente de 1, 2, 3 y 4 bits, y se representan de la siguiente manera:
Tabla de la Verdad
1 Bit
Mapas de Karnaugh
11
UNEXPO
Ingeniera de Sistemas
Digitales I
N
0
1
A
0
1
F
0
1
N
0
1
2
3
A
0
0
1
1
B
0
1
0
1
A
A
0
F
0
1
0
1
A
B
A
1
A A A
2 Bits
0A 1A
A
B 0 A 0
B 1 B1
B
B 0
2
B 1
3
AB
C
N
A
B
C
F AB AB AB AB
C
0
0 AB0
0
0
0
0
0 0
1
1
1C 1 AB AB AB AB
C
1
0
0
1
1
C 0
2
6
4
2
0
1
0
0
3
7
5
3
0
1
1
1
C 1
4
1
0
0
0
4 Bits
5
1
0
1
1
N
A
B
C
D
F
6
1
1
0
0
0
0
0
0
0
0
7
1
1
1
1
AB
1
0
0
0
1
1
2 AB 0AB AB
0
1
0
0
CD
AB
La Explicacin
1
1
1
CD 0 3 0 0 0 00
clara, vamos a la 1 4 1 0 1 11
0
0
0
CD
tabla de la verdad, la 1 5 1 0 1 11
0
1
1
CD
de 1 byte, notamos que
6
0
1
1
0
0
0
0
0
0
CD
0
1
1
1
1
columnas, (N, A, F) las 7
1
0
0
0
0
son nmero de casos 8
9
1
0
0
1
1
variable, y valores de la
10
1
0
1
0
0
sombreamos cada una 11
1
0
1
1
1
claro, la de variable 12
1
1
0
0
0
funcin quedo en 13
1
1
0
1
1
los
mapas
de 14
1
1
1
0
0
1
1
1
1
1
otros con fondo blanco, 15
3 Bits
AB
AB AB AB AB
es muy CD
primera
CD 0
4
12 8
cual
es
1
5
13 9
CD
3
7
15 11
posee 3
CD
2
6
14 10
cuales
CD
posibles,
funcin, respectivamente, entonces
de estas, la de N esta en gris
qued en blanco y la de la
rosado claro, al lado poseemos
karnaugh, unos con fondo rosado y
los que tienen fondo rosado
indican la posicin de la funcin, y los de fondo gris indican la posicin que tiene la
tabla de la verdad en un mapa de karnaugh.
De esta manera, se relaciona una tabla de la verdad con un mapa de karnaugh,
entonces para manipular esto debemos saber lo siguiente:
1 bits = 1 variable;
2 bits = 2 variables;
3 bits = 3 variables;
4 bits = 4 variables;
y puede valer 0 y 1
y puede valer 0,1,2,3
y puede valer desde 0 hasta 7
y puede valer desde 0 hasta 15
UNEXPO
Ingeniera de Sistemas
Digitales I
8
1
4
1
2
1
1
1
2
1
1
1
1
1
1
1
1 Bit
Si sumamos la parte superior = 1 = 1
Otra Manera; de relacionar la tabla de la verdad con los mapas de karnaugh, es con
las variables que se colocan en la parte superior y en la parte izquierda de la misma, que
indican cmo se encuentra la variable si negada o no haciendo ejercicios se ir
entendiendo mejor lo que se quiere transmitir al lector.
Cmo Agrupar las variables en un mapa de karnaugh para hallar la funcin que arroja?
Debemos saber que para seleccionar las variables en un mapa de karnaugh deben ser
mximos o mnimos, (0 1) y se agrupan en valores de (1, 2, 4, 8 y 16) deben estar juntos
uno del otro, puede hacerse un mtodo llamado espejo, (este indica; para un karnaugh 4
bits, si poseemos un 1 en la posicin (3) y otro 1 en la posicin (11), a simple vista se ve que
estn separados, pero ste mtodo dicta que estn pegados, ya que podemos juntarlos de la
siguiente manera):
Posiciones para el 4 bits:
AB
CD
CD
CD
CD
CD
AB AB
0
4
1
5
3
7
2
6
AB AB
12 8
13 9
15 11
14 10
Ejemplo de Espejo:
AB
CD
AB AB AB AB
CD
0
CD 0
1
0
0
1
CD
1
1
CD
13
UNEXPO
Ingeniera de Sistemas
Digitales I
Ojo:
Cuando agrupamos 1 los llamamos mnimos (), y estos se agrupan como
las sumas de los productos.
Cuando agrupamos 0 los llamamos mximos (), y estos se agrupan
como los productos de las sumas.
Entonces, se agrupan dichos valores, y vemos las variables que tienen en comn en la
parte superior como en la inferior, y estas son las que predominan, y esto arroja lo siguiente:
Mnimos; agrupando 1 tenemos:
F = BCD + BCD
A diferencia de los mnimos, los mximos son las mismas variables pero negadas,
para este caso usaremos el mimo mapa de karnaugh, pero en mximos (A = A)
Mximos; agrupando 0 tenemos:
F = (B+C+D) (B+C+D)
Ejercicio #1:
Dada la siguiente tabla de la verdad de 2 Bits. Se pide hallar:
- Su mapa de karnaugh
- Funcin en lgebra booleana que arroja dicho mapa
N
0
1
2
3
A
0
0
1
1
B
0
1
0
1 B
2 Bits
F
las posiciones de
0
cmo
0
1A
1 A A
B 0
2
B 1
3
A
B 0
B 0
A
1
1
14
UNEXPO
Ingeniera de Sistemas
Digitales I
Por lo tanto; tenemos ya nuestro mapa de karnaugh, y la funcin que arroja viene dada de
acuerdo a las variables que encima de sta se encuentran.
Mnimos; agrupando 1 tenemos:
Mximos; agrupando 0 tenemos:
F= A
F= A
Ejercicio #2:
Dada la siguiente tabla de la verdad de 3 Bits. Se pide hallar:
- Su mapa de karnaugh
- Funcin en lgebra booleana que arroja dicho mapa
3 Bits
N
0
1
2
3
4
5
6
7
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
C
0
1
0
1
0
1
0
1
F
0
0
0
1
1
1
0
AB
0
C
AB AB AB AB
C 0
0
0
1
0
1
0
1
C
F = AB + AB
A diferencia de los mnimos, los mximos son las mismas variables pero negadas,
para este caso usaremos el mimo mapa de karnaugh, pero en mximos (A = A)
Mximos; agrupando 0 tenemos:
F = (A+B) (AB) (A+C) = La parte azul se sealo
para explicar que se hizo la seleccin de ceros de la parte izquierda, pero tambin pudo
haberse hecho la del lado derecho entonces lo azul tambin pudo haber sido = (B+C)
Ejercicio #3:
Dada la siguiente tabla de la verdad de 4 Bits. Se pide hallar:
- Su mapa de karnaugh
- Funcin en lgebra booleana que arroja dicho mapa
4 Bits
N
A
B
C
D
F
Agrupando valores tenemos el mapa de karnaugh:
0
0
0
0
0
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
0
AB
1
1 CD 0
1
1
CD
0
0
CD
0
1
CD
1
0
CD
1
1
0
0
0
1
1
0
1
1
0
0
0
1
1
0
1
1
0
0 AB
AB
00 1
01 1
01 1
01 1
1
0
0
0
0
1
1
1
1
AB AB
1
0
1
0
1
0
1
0
UNEXPO
Ingeniera de Sistemas
Digitales I
A diferencia de los mnimos, los mximos son las mismas variables pero negadas,
para este caso usaremos el mimo mapa de karnaugh, pero en mximos (A = A)
La funcin en trminos mximos viene dada por:
F=B
Ejercicio #3:
Dado los siguientes mnimos, halle:
- Tabla de la Verdad
- Mapa de Karnaugh y su funcin en lgebra booleana
F() = (0,1,5,7,9,10,12,15) = Mnimos
N
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
A
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
B
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
C
D
F
0
0
1
0
1
1
AB
1
0
AB AB AB AB
1 CD 1
CD
1
1
0
0
1
1
1
CD
0
1
1
1
1
CD
1
0
1
1
1
1
CD
0
0
0
1
1
F = ABC
1
0
1
1
1
0
0
1
0
1
1
0
1
1
1
Ejercicio #4:
Dado los siguientes mnimos, halle:
- Tabla de la Verdad
- Mapa de Karnaugh y su funcin en lgebra booleana
F() = (1,2,3,5,8,10,11,14) = Mximos
N
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
A
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
B
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
C
D
0
0
0
1
AB
1
0
1 CD 1
CD
0
0
CD
0
1
CD
1
0
1
1
CD
0
0
0
1
1
0
1
1
0
0
0
1
1
0
1
1
F
0
0
AB
0 AB AB AB
0
00 0
0
0
0
0
0
0
0
0
0
16
UNEXPO
Ingeniera de Sistemas
Digitales I
Ejercicio #5:
De la funcin obtenida en el ejercicio 3, expresar dicha funcin en compuertas lgicas:
F = ABC + ABD + ABCD + BCD + BCD + ABCD
Ejercicio #6:
De la funcin obtenida en el ejercicio 3, expresar dicha funcin en compuertas lgicas:
F = (B+C) (A+C+D) (A+C+D) (A+B+D)
17
UNEXPO
Ingeniera de Sistemas
Digitales I
PROBLEMAS PROPUESTOS
Problema 1:
Encontrar la mnima expresin:
(A + B) (A +B) (AB+C)
18
UNEXPO
Ingeniera de Sistemas
Digitales I
Problema 2:
Encontrar la mnima expresin:
((A + BC) (AC +BD) (ABD+CD))
Problema 3:
Encontrar la mnima expresin:
(AD + BC)+((AC +BD) (ABD+CD))
Problema 4:
Encontrar la mnima expresin:
(AA + B)+((AE +BCD) (ABDE+BCD))
Problema 5:
Encontrar la mnima expresin:
((BC + B)(BCE +BCD))+ (ACE+BCD)
Problema 6:
Indique la funcin completa en lgebra booleana
Problema 7:
Del problema 6, despus de haber hallado la funcin completa, expresar la funcin en la
tabla de la verdad y su respectivo mapa de karnaugh
Problema 8:
19
UNEXPO
Ingeniera de Sistemas
Digitales I
Problema 11:
Del la siguiente tabla de la
- Mapa de Karnaugh
- Expresar la funcin
A
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
A
0
0
0
0
0
0
0
0
1
1
1
1
1
1
1
1
B
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
B
0
0
0
0
1
1
1
1
0
0
0
0
1
1
1
1
C
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
C
0
0
1
1
0
0
1
1
0
0
1
1
0
0
1
1
D
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
D
0
1
0
1
0
1
0
1
0
1
0
1
0
1
0
1
F
1
1
la verdad. Hallar:
Karnaugh y su funcin en lgebra
funcin en compuertas lgicas
1
1
1
1
1
F
0
0
0
0
verdad. Hallar:
y su funcin en lgebra booleana
en compuertas lgicas
0
0
Problema 12:
Dado los siguientes mnimos, halle:
- Tabla de la Verdad
- Mapa de Karnaugh y su funcin en lgebra booleana
F() = (0,1,4,5,6,7,8,15) = Mximos
20
UNEXPO
Ingeniera de Sistemas
Digitales I
Problema 13:
Dado los siguientes mnimos, halle:
- Tabla de la Verdad
- Mapa de Karnaugh y su funcin en lgebra booleana
F() = (1,2,3,4,5,8,15) = Mnimos
Problema 14:
De la funcin completa obtenida en el problema 12, hallar la funcin mnima, simplifique
Problema 15:
De la funcin completa obtenida en el problema 13, hallar la funcin mnima, simplifique
REFERENCIAS BIBLIOGRFICAS
PDF 1
http://www.uhu.es/raul.jimenez/SEA/guia.pdf
PDF 2
21
UNEXPO
Ingeniera de Sistemas
Digitales I
http://www.infor.uva.es/~jjalvarez/asignaturas/fundamentos/lectures/digital/Tema2_combinaci
onales.pdf
PDF 3
http://www.uhu.es/rafael.lopezahumada/descargas/tema3_fund_0405.pdf
PDF 4
http://users.dcc.uchile.cl/~clgutier/Capitulo_3.pdf
PDF 5
http://dac.escet.urjc.es/~lrincon/uned/etc1/FuncionesLogicas.pdf
PDF 6
http://sociedadmatematicamexicana.org.mx/SEPA/ECMS/resumen/P1TE5_1.pdf
Web 1
http://matematica1.com/tablas-de-verdad-ejercicios-y-problemas-resueltos-en-pdf-y-videos/
Nota: Fue muy variada la toma de informacin, ms que todo de cuadernos, conocimientos
adquiridos en semestres anteriores, y problemas inventados de mi parte, pero con buena
sustentacin.
22