Está en la página 1de 22

UNEXPO

Ingeniera de Sistemas
Digitales I

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

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

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

INTRODUCCIN A LA LGICA COMBINACIONAL


La lgica combinacional es todo aquel sistema digital en el que sus salidas son valores
de sus entradas en un momento dado, sin que intervengan estados anteriores de las
entradas o de las salidas. La lgica combinacional est formada por ecuaciones simples a
partir de las operaciones bsicas del lgebra de Boole.
ALGEBRA DE BOOLE
Una de las principales ventajas de utilizar el lgebra de boole radica en que las
operaciones bsicas de esta lgebra (operacin AND, OR y NOT) tienen un equivalente
directo en trminos de circuitos. Estos circuitos equivalentes a estas operaciones reciben el
nombre de puertas lgicas.
Hasta ahora, hemos indicado el sistema numrico que gobierna la Electrnica Digital.
Ahora debemos dar sus leyes matemticas. Estas leyes coinciden con las de un lgebra de
Boole, en el cual determinado un conjunto B y dos operaciones, suma y producto, se
cumplen los siguientes postulados:
Primero hay que saber:
Variable = A, B, C, Z.
Valores que toman las variables = 0 y 1
A = valor positivo, depende del caso
A= valor negativo, depende del caso
A = valor doble negado = A = valor positivo, se van los negadores
Ejemplo:
A = 1 , por lo tanto A = 0
A = A
Por lo tanto, podremos entender las siguientes propiedades:

P1.- Las operaciones tienen la propiedad conmutativa.


A+B=B+A
AB=BA

P2.- Las operaciones son distributivas entre s


A ( B + C ) = A B + A C
A+ ( B C ) = ( A+ B ) ( A+ C )

P3.- Las operaciones tienen elementos dentro de B tales como:


Para los +
Para los .
A+0=A
A.0=0
A+1=1
A.1=A
A+ A= A
A.A=A
A + A= 1
A . A = 0
A + A = A
2

UNEXPO
Ingeniera de Sistemas
Digitales I

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

A continuacin se muestra las principales leyes que se cumplen en cualquier lgebra


de Boole, y por lo tanto, el lgebra de conmutacin.
Principio de dualidad.- Cualquier teorema o identidad algebraica deducible de los
postulados anteriores puede transformarse en un segundo teorema o identidad vlida sin
ms que intercambiar las operaciones binarias y los elementos identidad.
Teorema 1.- (Teorema de elementos nulos) Para cada cualquier elemento a, se verifican las
siguientes igualdades
A+1 = 1
A0 = 0
Teorema 2.- Cada uno de los elementos identidad es el complemento del otro, es decir
1 = 0
0 = 1
Teorema 3.- Para cada elemento a, se verifican las siguientes igualdades:
A+ A= A
AA=A
Teorema 4.- (Teorema de involucin) Para cada elemento de a, se verifica que el
complemento del complemento de a es a, es decir,
(A) = A
Teorema 5.- (Teorema de absorcin) Para cada par de elementos, a y b, se verifica:
A+ A B = A
A (A + B) = A
Teorema 6.- Para cada par de elementos, a y b, se verifica:
A + A B = A + B
A (A + B) = A B
Teorema 7.- (Leyes de DeMorgan) Para cada par de elementos, a y b, se verifica
(A + B) = A B
(A B) = A + B
Teorema 8.- (Leyes de DeMorgan generalizadas) Para cualquier conjunto de elementos se
verifica:
(X0 + X1 + + Xn) = X0 X1 Xn
(X0 X1 Xn) = X0 + X1 + + Xn
Teorema 9.- (Teorema de Asociatividad) Cada uno de los operadores binarios (+) y ()
cumple la propiedad asociativa, es decir, para cada tres elementos, a, b y c, se verifica
(A + B) + C = A + (B + C)
(A B) C = A (B C)

UNEXPO
Ingeniera de Sistemas
Digitales I

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

EJERCICIOS CON DEMOSTRACIONES


Manipulacin del lgebra Booleana, a travs de ejercicios:
Ejercicio #1:
Encontrar la mnima expresin:
(A + B) (A +B)

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

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

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

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

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

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

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

Compuerta Negadora (Smbolo )

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

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

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

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

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

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

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

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

En este ejemplo se ve claramente lo que est pasando en el circuito, cuando los


cables son azules indica que hay corriente o salida = 1, y cuando es blanco indica que
no hay corriente o salida = 0, entonces ayudndonos con las primeras propiedades de
compuertas lgicas se entiende lo que pasa en este circuito, si la ultima compuerta AND,
tuviera una entrada = 0, entonces la lmpara no encendera, ya que por regla un cero que
multiplica cualquier otra cosa es cero.
Ejercicio #6:
Ahora veremos un ltimo circuito con las mismas condiciones del anterior, pero diferentes
compuertas, entonces tenemos:

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

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

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

De acuerdo a la posicin de la variable en la tabla de la verdad, ser el peso que


puede llevar cada 0 y 1, por lo tanto se indica lo siguiente:
4 Bits
12

UNEXPO
Ingeniera de Sistemas
Digitales I

8
1

4
1

2
1

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

1
1

Si sumamos la parte superior = 8+4+2+1 = 15


Entonces hasta all llega el de 4 bytes, como se indico anteriormente, los valores son
dados de derecha a izquierda (visto de la posicin del lector), explicado este se sobreentienden los de 3, 2 y 1 byte(s), de todos modos, para asegurarnos de que no quede duda
tenemos:
3 Bits
4
1

2
1

1
1

Si sumamos la parte superior = 4+2+1 = 7


2 Bits
2
1

1
1

Si sumamos la parte superior = 2+1 = 3

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

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

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

Recordamos que en fondo gris estn


irn los valores de la funcin

Colocando los valores de la funcin tenemos:


A
B

A
B 0
B 0

A
1
1

14

UNEXPO
Ingeniera de Sistemas
Digitales I

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

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

Lo primero que hacemos es nuestro mapa de


Karnaugh, luego vamos a indicar sus
funciones tanto mximas y mnimas,
para practicar (notamos que ya no es
necesario indicar las posiciones donde
iran los valores de la funcin) por lo
tanto:

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

Mnimos; agrupando 1 tenemos:

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

La funcin en trminos mnimos viene dada por:


F=B
15

UNEXPO
Ingeniera de Sistemas
Digitales I

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

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

+ ABD + ABCD + BCD + BCD + ABCD

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

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

F = (B+C) (A+C+D) (A+C+D) (A+B+D)

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

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

PROBLEMAS PROPUESTOS
Problema 1:
Encontrar la mnima expresin:
(A + B) (A +B) (AB+C)
18

UNEXPO
Ingeniera de Sistemas
Digitales I

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

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

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

De la funcin del problema 4, expresarla en compuertas lgicas.


Problema 9:
De las compuertas lgicas obtenidas en el problema 8, hallar la tabla de la verdad y su
respectivo mapa de karnaugh
Problema 10:
Del la siguiente tabla de
- Mapa de
booleana
- Expresar la

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

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

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

lgebra de Boole, Compuertas Lgicas, Tabla de la Verdad y Mapas de karnaugh

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

También podría gustarte