Algebra Booleana

lgebra booleana
Ing. Bruno Lpez Takeyas
LGEBRA BOOLEANA
Desarrollada por George Boole

Herramienta
para representar proposiciones

lgicas en forma algebraica
Se
aplica en representacin de circuitos

lgicos y diseo digital
Uso
EXPRESIONES BOOLEANAS
de variables booleanas (cuyos valores

son 1 0)
Ver
ejemplo 5.1 (pg. 179) del libro

Matemticas para la computacin de Jos A.
Jimnez Murillo
http://www.itnuevolaredo.edu.mx/takeyas
Email: takeyas@itnuevolaredo.edu.mx
lgebra booleana
Minitrmino:
Es un producto booleano en la
que cada variable aparece slo una vez; es
decir, es una expresin lgica que se
compone de variables y los operadores
lgicos AND y NOT. P. ejem. ABC y ABC.
Maxitrmino:
Es una expresin lgica que

se compone de variables y los operadores
lgicos OR y NOT. P. ejem. A+B+C y
A+B+C.
En
lgebra booleana, se conoce como forma

cannica de una expresin, a todo producto
o suma en la cual aparecen todas sus
variables en su forma directa o inversa.
Una expresin lgica puede expresarse en

forma cannica usando minitrminos o
maxitrminos.
Todas
las
expresiones
lgicas
son
expresables en forma cannica como una
suma de minitrminos o como un
producto de maxitrminos.
lgebra booleana
PROPIEDADES DE LAS EXPRESIONES

BOOLEANAS
a) Formadas con variables booleanas
b) Valores de 1 (verdadero) 0 (falso)
c) Puede tener constantes booleanas (1 0)
d) Puede tener operadores lgicos: AND (&,
^), OR (V) y NOT (, , -, ~)
Multiplicacin lgica: AND
xy = x y = (x)(y)
Suma lgica: OR
x+y
Complemento (negacin): NOT
x
e) Se puede obtener el resultado lgico de
una expresin booleana aplicando las tablas
de verdad (valores de certeza)
f) Se puede aplicar la Ley de Morgan
lgebra booleana
EJEMPLO DE EXPRESIONES BOOLEANAS
Suponga
que un sistema lgico tiene 3

variables de entrada (A, B y C) y la salida
de la funcin (F) se comporta de acuerdo a
la siguiente tabla de verdad:
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
1
0
0
1
0
1
0
Representacin de la expresin booleana:
F = ABC + ABC + ABC
lgebra booleana
LEYES DEL LGEBRA BOOLEANA

1.- Existencia de neutros
x+0=x
x1=x
2.- Conmutatividad
x+y=y+x
xy=yx
3.- Asociatividad
x + (y + z) = (x + y) + z
x (y z) = (x y) z
4.- Distributividad
x + (y z) = (x + y) (x + z)
x (y z) = (x y) z
5.- Complementos
x + x = 1
x x = 0
lgebra booleana
TEOREMAS DEL LGEBRA BOOLEANA

1.- Idempotencia
x+x=x
xx=x
2.- Identidad de los elementos 0 y 1
x+1=1
x0=0
3.- Absorcin
x + (x y) = x
x (x + y) = x
4.- Complemento de 0 y 1
0 = 1
1 = 0
5.- Involucin (doble negacin)
(x) = x
5.- Leyes de Morgan
(x + y) = x y
(x y) = x + y
lgebra booleana
a) Cambiar cada + por y viceversa

b) Complementar (negar) cada trmino
c) Complementar
(negar)
la
expresin
completa
TABLA DE TEOREMAS DEL LGEBRA

BOOLEANA
Nm
Teorema
1 0A = 0
2 1A = A
3 AA = A
4 AA = 0
5 AB = BA
6 ABC = A(BC)
7 (ABC) = A+B+C
8 AB+AC = A(B+C)
9 AB+AB = A
10 A+AB = A
11 A+AB = A+B
12 CA+CAB = CA+CB
13 AB+AC+BC=AB+AC
Dual
1+A=1
0+A=A
A+A=A
A + A = 1
A+B=B+A
A+B+C = A+(B+C)
(A+B+C) = ABC
(A+B)(A+C) = A+BC
(A+B)(A+B) = A
A(A+B) = A
A(A+B) = AB
(C+A)(C+A+B) = (C+A)(C+B)
(A+B)(A+C)(B+C)=(A+B)(A+C)
lgebra booleana
SIMPLIFICACIN DE EXPRESIONES
BOOLEANAS MEDIANTE EL USO DE
TEOREMAS
Simplificar la siguiente expresin booleana:
F=AB+(ABC)+C(B+A)
Expresin simplificada
F=AB+A+B+C+C(B+A)
F=AB+A+B+C+CB+CA
F=AB+A+B+CB+C+CA
F=A(B+1)+B+CB+C+CA
F=A(B+1)+B(1+C)+C+CA
F=A1+B(1+C)+C+CA
F=A+B(1+C)+C+CA
F=A+B1+C+CA
F=A+B+C+CA
F=A+B+C+A
F=(A+A)+B+C
F=1+B+C
F=(1+B)+C
F=1+C
F=1
Teorema
aplicado
7
8
5
8
8
1
2
1
2
11
6
4
1
1
1
lgebra booleana
SIMPLIFICACIN DE EXPRESIONES
BOOLEANAS MEDIANTE MAPAS DE
KARNAUGH
Creados
en 1950 por Maurice Karnaugh

(fsico y matemtico de los Laboratorios
Bell).
Evita
hacer clculos (aprovecha la capacidad

humana del reconocimiento de patrones).
Son
representaciones bidimensionales de la
tabla de verdad de la funcin a simplificar
Un
mapa es un diagrama compuesto de

celdas, donde cada una representa un
minitrmino
La cantidad de celdas del mapa es 2n; donde

n representa la cantidad de variables
Se recomiendan para expresiones de hasta 6

variables
Generan
expresiones en una de las formas

estndar: suma de productos producto de
sumas
lgebra booleana
REPRESENTACIN DE EXPRESIONES
CON MAPAS DE KARNAUGH
Un
mapa
de
Karnaugh
es
una
representacin grfica de la tabla de
verdad
La tabla de verdad tiene un rengln por
cada minitrmino
El mapa de Karnaugh tiene una celda por
cada minitrmino
10
lgebra booleana
EJEMPLO
La funcin X es 1 cuando:
o A=0 y B=0
o A=1 y B=1
O sea, la funcin X = AB + AB
En estos casos, se coloca un 1 en la celda
AB y en la celda AB del mapa
Las dems celdas se rellenan con 0
Las celdas del mapa se marcan de tal
forma que los cuadros adyacentes (tanto
horizontales como verticales) slo difieren
en una variable
El orden de las etiquetas de las celdas es:
00 (AB), 01 (AB), 11 (AB) y 10(AB)
11
lgebra booleana
Cuando una expresin tiene 2 variables,

entonces existen 4 combinaciones (2n=4)
(A=0 y B=0, A=0 y B=1, A=1 y B=0, A=1
y B=1)
Por lo tanto, el mapa K tiene 4 celdas
(cada
celda
corresponde
a
un
minitrmino)
12
lgebra booleana
MS EJEMPLOS
13
lgebra booleana
MAPAS DE KARNAUGH DE 2 VARIABLES

Sea f una funcin de 2 variables f(A, B)
Se
forma un mapa de 22=4 minitrminos

(celdas)
Una
forma ms sencilla de representar el

minitrmino en la celda es sealando su
valor decimal
14
lgebra booleana

Sea f una funcin de 3 variables f(A, B, C)
Se forma un mapa de 23=8 minitrminos
Es
importante colocar las variables en el

orden
indicado
de
ms
a
menos
significativo (A, B, C); ya que de otra forma
el valor decimal sera diferente
Note que en las columnas AB no se sigue el

orden progresivo de valores, 00, 01, 10 y
11; sino 00, 01, 11 y 10.
15
lgebra booleana
Esto se debe a que el proceso de

minimizacin depende de la ubicacin de las
celdas en el mapa; ya que, entre una celda
y otra (en forma horizontal o en forma
vertical) slo debe cambiar 1 variable
(adyacencia lgica).
16
lgebra booleana
PROCEDIMIENTO PARA ELABORAR

MAPAS DE KARNAUGH
1. Desde la tabla de verdad
Sea
f una funcin de 3 variables f(A, B, C)

cuya tabla de verdad es la siguiente:
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
1
1
0
0
0
1
1
Se obtiene el mapa colocando un 1 en las

celdas
correspondientes
a
las
combinaciones (minitrminos) en las que la
funcin f=1
17
lgebra booleana
En este caso, las combinaciones son: ABC,

ABC, ABC y ABC
Por lo tanto
f = ABC + ABC + ABC + ABC
18
lgebra booleana
2. Directamente de una funcin

Se pueden representar funciones cannicas
o no cannicas.
Sea f una funcin cannica de 3 variables
f = ABC + ABC + ABC + ABC
Se representa el mapa colocando un 1 en la
celda de existencia de A, A, B, B, C y C.
Presencia de A
Presencia de A
Presencia de B
Presencia de B
Presencia de C
Presencia de C
19
lgebra booleana
Sea f una funcin no cannica

variables
f = AB + ABC + ABC
de
Esta expresin no es cannica porque el

primer trmino no tiene todas las variables
de la funcin.
La funcin es la UNIN de las reas que
representan cada uno de los trminos y
cada trmino es la INTERSECCIN de las
reas que representan sus variables.
El trmino AB es la interseccin de A=1 y
B=1.
El trmino ABC es la interseccin de A=0,
B=1 y C=0.
El trmino ABC es la interseccin de A=0,
B=0 y C=1.
El mapa final se obtiene mediante la UNIN
de los tres resultados.
20
lgebra booleana
Trmino AB
Trmino ABC
Trmino AB
Resultado de la unin
Colocando 1s
21
lgebra booleana

Sea f una funcin de 4 variables f(A, B, C, D)
Se forma un mapa de 24=16 minitrminos.
Se
sigue el mismo procedimiento que para

una funcin de 3 variables.
Obsrvese
el orden de colocacin de las
variables.
Los
renglones siguen el mismo orden de las

columnas (00, 01, 11 y 10) para que haya
adyacencia lgica.
22
lgebra booleana

Sea f una funcin de 5 variables f(A, B, C, D, E)
Obsrvese
que ahora cada celda, adems

de ser adyacente en forma horizontal o
vertical, tambin es adyacente a la celda
que ocupa la misma posicin en el cuadro
cercano.
Por
ejemplo, la celda 15 (01111) es

adyacente a las celdas 13, 7, 14, 11 y a la
31 (11111).
Esto
se debe a que solo cambia una

variable entre una celda y otra.
23
lgebra booleana

Sea f una funcin de 6 variables f(A, B, C, D, E,
F)
Obsrvese
que ahora cada celda, adems

de ser adyacente en forma horizontal o
vertical, tambin es adyacente a la celda
que ocupa la misma posicin en el cuadro
cercano horizontal y en el cuadro cercano
vertical.
24
lgebra booleana
Por
ejemplo, la celda 10 (001010) es

adyacente a las celdas 11 (001011), 14
(001110), 8 (001000), 2 (000010) y a las
celdas 26 (011010) y 42 (101010).
Esto
se debe a que solo cambia una

variable entre una celda y otra.
25
lgebra booleana
METODOLOGA PARA SIMPLIFICAR

EXPRESIONES MEDIANTE MAPAS DE
KARNAUGH
1. Convertir la expresin a una suma de
productos (si es necesario):
a.
Algebraicamente
b. Contruyendo la tabla de verdad
2. Dibujar el mapa
3. Cubrir todos los 1s del mapa mediante
rectngulos de 2n elementos (donde n=0..
nmero de variables); es decir, 2, 4, 8, 16,
etc.
a. Ningn rectngulo debe tener un 0
b. Usar la mnima cantidad de rectngulos
c. Hacer cada rectngulo tan grande como
sea posible
4. Encontrar la suma de productos minimal
a. Cada rectngulo es un trmino producto
26
lgebra booleana
b. Cada trmino se define encontrando las

variables que hay en comn en dicho
rectngulo
5. Agrupar los rectngulos
a. Para simplificar la expresin, se agrupan
los 1s de celdas adyacentes en bloques
cuadrados o rectangulares de 2, 4, 8,
16, , 2n. Estos se llaman implicantes
primos.
b. Si alguno de los rectngulos contiene
algn 1 que no aparece en ningn otro
rectngulo, entonces es un implicante
primo esencial, los cuales deben
aparecer de manera obligatoria en el
resultado final.
NOTA:
Cuando se desea obtener una suma de
productos, entonces se agrupan los 1s.
Cuando se desea obtener un producto de
sumas, entonces se agrupan los 0s.
Aunque las expresiones resultantes no son
iguales, son lgicamente equivalentes.
27
lgebra booleana
EJEMPLO
Simplificar la funcin
f = ABCD + ABC + CD + ABCD + ABCD
como una suma de productos y como un
producto de sumas
a) Suma de productos
CD
AB
00
01
00
1
01
11
10
11
1
1
1
1
10
1
Por
lo
tanto
la
funcin
simplificada
(representada como una suma de productos)
es: f = BC + CD + ABD
28
lgebra booleana
b) Producto de sumas
CD
AB
00
01
00
0
01
0
0
11
0
0
10
0
0
11
10
0
0
Por
lo
tanto
la
funcin
simplificada
(representada como un producto de sumas)
es:
f = CD + BD + BC + AC
Ntese que la funcin est negada (f ), por lo
tanto, deben complementarse ambos lados de
la expresin, quedando:
(f ) = (CD + BD + BC + AC)
Aplicando la ley de Morgan queda la funcin
simplificada como un producto de sumas:
f = (C+D)(B+D)(B+C)(A+C)
29
lgebra booleana
Otros ejemplos:
30
lgebra booleana
31
lgebra booleana
EJERCICIO
Simplificar la funcin
f = XYZ + XYZ + XYZ + XYZ + XYZ
como una suma de productos
Tabla de verdad
X
0
0
0
0
1
1
1
1
Y
0
0
1
1
0
0
1
1
Z
0
1
0
1
0
1
0
1
f
1
1
1
0
1
0
1
0
Mapa y agrupar
Solucin: f = Z + XY
32
lgebra booleana
SOFTWARE DE MAPAS DE KARNAUGH
Descargar de manera gratuita en:

http://k-map.sourceforge.net/
TUTORIAL DE MAPAS DE KARNAUGH

http://www.youtube.com/watch?v=DwdyHY3-nGs
33
lgebra booleana
COMPUERTAS LGICAS
Es una representacin grfica de una o ms variables
de entrada a un operador lgico para obtener como
resultado una seal determinada de salida.
34
lgebra booleana
REPRESENTACIN DE EXPRESIONES
CON COMPUERTAS LGICAS
35
lgebra booleana
36
lgebra booleana
CMO DETERMINAR LA SEAL DE

SALIDA DE UN CIRCUITO
CIRCUITOS INTEGRADOS
37
lgebra booleana
CIRCUITOS INTEGRADOS DE
COMPUERTAS LGICAS
38
lgebra booleana
SOFTWARE PARA EL DISEO DE

CIRCUITOS: MULTISIM
39
lgebra booleana
EJEMPLOS DE DISEOS EN MULTISIM
40
lgebra booleana
41
lgebra booleana
OTRO SOFTWARE PARA EL DISEO DE

CIRCUITOS: ATANUA
Descargar en:
http://atanua.softbull.com/
42
lgebra booleana
CMO ARMAR CIRCUITOS EN UN

PROTOBOARD
43
lgebra booleana
BIBLIOGRAFA
Constantini, Sandro. Mapas de Karnaugh. Universidad
Metropolitana, Venezuela. Recuperado el 13 de octubre
del
2011
de:
http://medusa.unimet.edu.ve/sistemas/bpis03/mdkrep
resentacion.htm
Mano, Morris. Diseo digital. Tercera edicin. Editorial

Pearson-Prentice Hall. 2003.
Jimnez Murillo, Jos A. Matemticas para la
computacin. Primera edicin. Editorial AlfaOmega.
2009.
Ortega Gonzlez, Luisa Stephany & Arcos Garca, Jos
Emanuel. Tutorial para la elaboracin de funciones
mediante la utilizacin de mapas de Karnaugh y tablas
de verdad. Tecnolgico de Estudios Superiores de
Ecatepec, Mxico. Recuperado el 13 de octubre de
2011 de http://www.youtube.com/watch?v=DwdyHY3nGs
Tocci, Ronald J. Sistemas digitales. Principios y
aplicaciones. Tercera edicin. Editorial Prentice Hall.
1987.
Turn, Angelines. Mapas de Karnaugh. Universidad
Politcnica de Madrid, Espaa. Recuperado el 12 de
octubre
de
2011
de
http://www.dma.fi.upm.es/java/matematicadiscreta/ka
rnaugh/metodokar.htm
44

Algebra Booleana

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Algebra Booleana

Cargado por

Copyright:

Formatos disponibles

lgebra booleana

Ing. Bruno Lpez Takeyas

Desarrollada por George Boole

para representar proposiciones

aplica en representacin de circuitos

de variables booleanas (cuyos valores

ejemplo 5.1 (pg. 179) del libro

Ing. Bruno Lpez Takeyas

Es una expresin lgica que

lgebra booleana, se conoce como forma

Una expresin lgica puede expresarse en

Ing. Bruno Lpez Takeyas

PROPIEDADES DE LAS EXPRESIONES

Ing. Bruno Lpez Takeyas

EJEMPLO DE EXPRESIONES BOOLEANAS

que un sistema lgico tiene 3

Representacin de la expresin booleana:

F = ABC + ABC + ABC

Ing. Bruno Lpez Takeyas

LEYES DEL LGEBRA BOOLEANA

Ing. Bruno Lpez Takeyas

TEOREMAS DEL LGEBRA BOOLEANA

Ing. Bruno Lpez Takeyas

a) Cambiar cada + por y viceversa

TABLA DE TEOREMAS DEL LGEBRA

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

en 1950 por Maurice Karnaugh

hacer clculos (aprovecha la capacidad

mapa es un diagrama compuesto de

La cantidad de celdas del mapa es 2n; donde

Se recomiendan para expresiones de hasta 6

expresiones en una de las formas

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

Cuando una expresin tiene 2 variables,

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

MAPAS DE KARNAUGH DE 2 VARIABLES

forma un mapa de 22=4 minitrminos

forma ms sencilla de representar el

Ing. Bruno Lpez Takeyas

MAPAS DE KARNAUGH DE 3 VARIABLES

importante colocar las variables en el

Note que en las columnas AB no se sigue el

Ing. Bruno Lpez Takeyas

Esto se debe a que el proceso de

Ing. Bruno Lpez Takeyas

PROCEDIMIENTO PARA ELABORAR

f una funcin de 3 variables f(A, B, C)

Se obtiene el mapa colocando un 1 en las

Ing. Bruno Lpez Takeyas

En este caso, las combinaciones son: ABC,

f = ABC + ABC + ABC + ABC

Ing. Bruno Lpez Takeyas

2. Directamente de una funcin

Ing. Bruno Lpez Takeyas

Sea f una funcin no cannica

Esta expresin no es cannica porque el

Ing. Bruno Lpez Takeyas

Ing. Bruno Lpez Takeyas

MAPAS DE KARNAUGH DE 4 VARIABLES

sigue el mismo procedimiento que para