You are on page 1of 67

lgebra Booleana

Hay algo ms importante que la lgica: es la imaginacin.


Alfred Hitchcock
Objetivos:
1.- Describir algunos antecedentes histricos sobre el Algebra Booleana
2.- Comprender los operadores fundamentales del algebra booleana
en sus diferentes representaciones como: Smbolo, Expresin
matemtica, Tabla de Verdad y diagrama de Tiempos
3.- Obtener las habilidades para el anlisis y uso de las operadores
fundamentales.
Introduccin al lgebra Booleana
George Boole (1815-1864)
Lgico y matemtico britnico.
Nacido el 2 de Noviembre de 1815 en Lincoln,
Lincolnshire (Inglaterra),
En 1854, escribi Investigacin sobre
Las leyes del pensamiento
An Investigation of the Laws of Thought
Historia
Boole fue un nio inteligente, y su primer inters fue
hacia los idiomas, siendo capaz de dominar el latn
completamente con 12 aos.
Aunque no haba estudiado para ello, empez
dedicndose a la enseanza siendo a los 16 aos
profesor auxiliar en un colegio.
Historia
Tambin pens realizar la carrera eclesistica, pero en
1835 decidi abrir su propio colegio y fue cuando
empez a estudiar matemticas por su cuenta,
estudiando los trabajos de Laplace y Lagrange.
Historia
Se encamin hacia el lgebra publicando una
aplicacin de mtodos algebraicos para la resolucin
de ecuaciones diferenciales por el que recibi la
medalla de la Real Sociedad Matemtica de Londres.
En 1849 fue nombrado catedrtico de matemticas en
el Queens College, donde ejerci la enseanza el
resto de su vida.
Historia
En 1854 public sus estudios sobre las teoras
matemticas de lgica y probabilidad. Boole redujo la
lgica a una lgebra sencilla, naciendo as lo que se
conoce como lgebra booleana, la cual influy en el
desarrollo de la informtica.
Historia
Boole muri a los 49 aos por causa de una
pulmona. Aunque Boole tiene otros muchos estudios
en el universo de las matemticas sin duda alguna se
le recordar por su lgebra, que fue un paso
fundamental en el desarrollo de las computadoras.
Historia
George Boole
Las leyes del Pensamiento
Falso
Verdadero
Inteligencia Artificial ?
Que es lo que hacemos los humanos
que difcilmente las maquinas puedan realizar ?
las conexiones entre los telfonos eran manuales, a travs de las
centrales por medio de una operadora
Gracias al algebra Booleana se automatizo la conexin
En 1879 la primera patente sobre un sistema de conmutacin
automtico de Connolly, Connoolly, Mc Tighe
Claude Elwood Shannon
(30 de abril de 1916, Mchigan - 24 de febrero de 2001)
Ingeniero electricista y matemtico, Universidad de Mchigan
"El padre de la teora de la informacin".
Creador de la era Digital
Boole 1854
Shanon 1938
Claude E. Shanon
En su tesis de maestra en el MIT, demostr cmo el lgebra
booleana se poda utilizar en el anlisis y la sntesis de la
conmutacin y de los circuitos digitales.
La tesis despert un inters considerable cuando apareci en
1938 en las publicaciones especializadas.
Claude E. Shanon
En 1940 le fue concedido el Premio a ingenieros americanos del
Instituto Americano Alfred Nobel de Estados Unidos, una
concesin dada cada ao a una persona de no ms de treinta
aos.
Un cuarto de siglo ms tarde H. H. Goldstine, en su libro "Las
computadoras desde Pascal hasta Von Neumann", cit su tsis
como una de las ms importantes de la historia que ayud a
cambiar el diseo de circuitos digitales.
Claude E. Shanon
Shannon pas quince aos en los laboratorios Bell, una asociacin muy
fructfera con muchos matemticos y cientficos de primera lnea como
Harry Nyquist, Walter Houser Brattain, John Bardeen y William Bradford
Shockley, inventores del transistor; George Stibitz, quien construy
computadoras basadas en relevadores, Warren Weaver, quien escribi
una larga y clarificadora introduccin a su The Mathematical Theory of
Communication y muchos otros ms.
Durante este perodo Shannon trabaj en muchas reas, siendo lo ms
notable todo lo referente a la teora de la informacin, un desarrollo que
fue publicado en 1948 bajo el nombre de "Una Teora Matemtica de la
Comunicacin".
Claude E. Shanon
En este trabajo se demostr que todas las fuentes de informacin (telgrafo
elctrico, telfono, radio, la gente que habla, las cmaras de televisin,
etc.,... ) se pueden medir y que los canales de comunicacin tienen una
unidad de medida similar.
Mostr tambin que la informacin se puede transmitir sobre un canal si, y
solamente si, la magnitud de la fuente no excede la capacidad de
transmisin del canal que la conduce, y sent las bases para la correccin
de errores, supresin de ruidos y redundancia.
En el rea de las computadoras y de la inteligencia artificial, public en 1950
un trabajo que describa la programacin de una computadora para jugar al
ajedrez, convirtindose en la base de posteriores desarrollos.
Una variable Booleana puede tomar solo dos valores
Falso =0
Verdadero = 1
Tabla de Verdad
Una Variable
Tabla de Verdad
Dos Variables
Cuatro combinaciones
Tabla de Verdad
Cuantas combinaciones se
pueden tener con Tres
Variables
m
A B C
0 0 0
Tabla de Verdad
Cuantas combinaciones se
pueden tener con Tres
Variables
m
A B C
0 0 0
0 0 1
Tabla de Verdad
Cuantas combinaciones se
pueden tener con Tres
Variables
m
A B C
0 0 0
0 0 1
0 1 0
Tabla de Verdad
Cuantas combinaciones se
pueden tener con Tres
Variables
m
A B C
0 0 0
0 0 1
0 1 0
0 1 1
Tabla de Verdad
Cuantas combinaciones se
pueden tener con Tres
Variables
m
A B C
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
Tabla de Verdad
Cuantas combinaciones se
pueden tener con Tres
Variables
m
A B C
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
Tabla de Verdad
Cuantas combinaciones se
pueden tener con Tres
Variables
m
A B C
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
Tabla de Verdad
Cuantas combinaciones se
pueden tener con Tres
Variables
m
A B C
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
Tabla de Verdad
Cuantas combinaciones se
pueden tener con Tres
Variables
m
A B C
0
0 0 0
1
0 0 1
2
0 1 0
3
0 1 1
4
1 0 0
5
1 0 1
6
1 1 0
7
1 1 1
m
A B C F
0
0 0 0
1
0 0 1
2
0 1 0
3
0 1 1
4
1 0 0
5
1 0 1
6
1 1 0
7
1 1 1
Obtenga la tabla de verdad

para que combinaciones
enciende el foco ?

m
A B C F
0
0 0 0
1
0 0 1
2
0 1 0
3
0 1 1
4
1 0 0
5
1 0 1
6
1 1 0 1
7
1 1 1
Obtenga la tabla de verdad

para que combinaciones
enciende el foco ?

m
A B C F
0
0 0 0
1
0 0 1
2
0 1 0
3
0 1 1
4
1 0 0
5
1 0 1 1
6
1 1 0 1
7
1 1 1 1
Obtenga la tabla de verdad

para que combinaciones
enciende el foco ?

m
A B C F
0
0 0 0 0
1
0 0 1 0
2
0 1 0 0
3
0 1 1 0
4
1 0 0 0
5
1 0 1 1
6
1 1 0 1
7
1 1 1 1
Obtenga la tabla de verdad

para que combinaciones
enciende el foco ?

Tabla de
Verdad
Cuatro Variables
16 combinaciones
del 0 al 15 en N
(2)
El numero de combinaciones m depende del numero de variables N
m= 2
N
1 variable 2 combinaciones
2 variables 4 combinaciones
3

variables 8 combinaciones
4 variables 16 combinaciones
5 variables 32 combinaciones
6 variables 64 combinaciones
7 variables 128 combinaciones
8 variables 256 combinaciones
Operadores Lgicos
And
Or
Not
Nand
Nor
Exor
Exnor

Nombre
Caracterstica
Smbolo
Expresin Matemtica
Tabla de verdad
Circuito Equivalente
Diagrama de Tiempos
And
Condicin
La operacin And esta relacionada con el trmino de condicin
y es exactamente igual que la multiplicacin ordinaria de
unos y ceros.
Una salida igual a 1 ocurre slo en el nico caso donde todas
las entradas son 1.
La salida es cero cuando una o ms de las entradas son igual 0.
Smbolo
Expresin Matemtica AB A*B A&B
And
Condicin

Smbolo
Expresin Matemtica AB A*B
En el lenguaje ABEL-HDL A&B
And (Condicin)
And (Condicin) equivalente elctrico
m
A B S
0 0 0 0
1 0 1 0
2 1 0 0
3 1 1 1
And
Diagrama de Tiempos

And de tres entradas
m
A B C S
0
0 0 0 0
1
0 0 1 0
2
0 1 0 0
3
0 1 1 0
4
1 0 0 0
5
1 0 1 0
6
1 1 0 0
7
1 1 1 1
And
DIP
Dual in-line Package

And SN7408
Punto
Muesca
And SN7408
And SN7408
8
OR
Alternativa
Alternativa (Opcin entre dos cosas, una, otra o
ambas)
La operacin Or esta relacionada con el trmino de
alternativa y produce un resultado 1, cuando
cualquiera de las variables de entrada es 1.
La operacin Or, genera un resultado de 0 slo
cuando todas las variables de entrada son 0.
OR
Alternativa
Smbolo
Expresin Matemtica = A+B AuB
En el lenguaje ABEL-HDL A#B
OR
OR
m
A B S
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 1
OR
m
A B S
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 1
Tabla de Verdad
OR
Diagrama de Tiempos
OR
de tres entradas
m
A B C S
0
0 0 0 0
1
0 0 1 1
2
0 1 0 1
3
0 1 1 1
4
1 0 0 1
5
1 0 1 1
6
1 1 0 1
7
1 1 1 1
OR
OR SN7432
Or SN7432
Or SN7432
NOT Negar
La operacin Not esta definida para una sola variable y es muy
simple ya que solo tiene dos posibilidades si la entrada es cero la
salida es igual a uno y viceversa.
Smbolo
A
En el lenguaje ABEL-HDL !A
Not
m
A A
0 0 1
1 1 0

m
A A
0 0 1
1 1 0

Not SN7404
AND
7408
OR
7432
NOT
7404
Operadores Lgicos
And
Or
Not
Nand
Nor
Exor
Exnor

Nombre
Caracterstica
Smbolo
Expresin Matemtica
Tabla de verdad
Circuito Equivalente
Diagrama de Tiempos


Condicin Alternativa
m
A B C
And Or
0
0 0 0
0 0
1
0 0 1
0 1
2
0 1 0
0 1
3
0 1 1
0 1
4
1 0 0
0 1
5
1 0 1
0 1
6
1 1 0
0 1
7
1 1 1
1 1
Nombre AND OR NOT
Caracterstica Condicin Alternativa Negar
Smbolo
Expresin
Matemtica
S=AB S=A+B S=A
Tabla de
Verdad
Diagrama
de
Tiempos
Circuito
elctrico
equivalente
? ?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?
?