Clase 6

Algebra Booleana

ING. EDUARDO HERNANDEZ FLORES

 Historia
Historia
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
 George Boole (1815-1864)
En donde describe un sistema algebraico que ms tarde se conoci
como el

lgebra Booleana.
 George Boole
Las leyes del Pensamiento
Falso
Verdadero
Inteligencia Artificial ?
 Claude E. Shanon
Graduado en Michigan y fue al MIT donde escribi una tesis sobre el
uso del lgebra de Boole para analizar y optimizar el intercambio en
los circuitos.
 Claude E. Shanon
En 1938, demostr como las operaciones booleanas
elementales, se podan representar mediante circuitos
conmutadores elctricos, y como la combinacin de estos
poda representar operaciones aritmticas y lgicas complejas.
Shanon demostr asimismo que el lgebra de Boole se poda
utilizar para simplificar circuitos commutadores.

Estuvo en Telfonos Bell en 1941 como matemtico investigador

y permaneci all hasta 1972.
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
Una variable Booleana puede tomar solo dos valores

Falso =0
Verdadero =1
Tabla de
Tabla de Verdad
Verdad

Una Variable
Tabla de
Tabla de Verdad
Verdad

Dos Variables

Cuatro combinaciones
 Tabla de
Tabla de Verdad
Verdad

Cuantas combinaciones se m A B C
pueden tener con Tres 0 0 0
Variables
 Tabla de
Tabla de Verdad
Verdad

Cuantas combinaciones se m A B C
pueden tener con Tres 0 0 0
Variables 0 0 1
 Tabla de
Tabla de Verdad
Verdad

Cuantas combinaciones se m A B C
pueden tener con Tres 0 0 0
Variables 0 0 1
0 1 0
 Tabla de
Tabla de Verdad
Verdad

Cuantas combinaciones se m A B C
pueden tener con Tres 0 0 0
Variables 0 0 1
0 1 0
0 1 1
 Tabla de
Tabla de Verdad
Verdad

Cuantas combinaciones se m A B C
pueden tener con Tres 0 0 0
Variables 0 0 1
0 1 0
0 1 1
1 0 0
 Tabla de
Tabla de Verdad
Verdad

Cuantas combinaciones se m A B C
pueden tener con Tres 0 0 0
Variables 0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
 Tabla de
Tabla de Verdad
Verdad

Cuantas combinaciones se m A B C
pueden tener con Tres 0 0 0
Variables 0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
 Tabla de
Tabla de Verdad
Verdad

Cuantas combinaciones se m A B C
pueden tener con Tres 0 0 0
Variables 0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1
 Tabla de
Tabla de Verdad
Verdad

Cuantas combinaciones se m A B C
pueden tener con Tres 0 0 0 0
Variables 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 m A B C F
0
0 0 0
para que combinaciones 1
0 0 1
prende el foco ?
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 m A B C F
0
0 0 0
para que combinaciones 1
0 0 1
prende el foco ?
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 m A B C F
0
0 0 0
para que combinaciones 1
0 0 1
prende el foco ?
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 m A B C F
0
0 0 0 0
para que combinaciones 1
0 0 1 0
prende el foco ?
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
Cuatro Variables

16 combinaciones
del 0 al 15 en N(2)

Tabla de
Tabla de
Verdad
Verdad
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
 Operadores Lgicos
Operadores Lgicos

And
And
Nombre
Or
Or Caracterstica
Smbolo
Not
Not Expresin Matemtica
Nand
Nand Tabla de verdad
Circuito Equivalente
Nor
Nor Diagrama de Tiempos

Exor
Exor
Exnor
Exnor
 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

 And
Condicin

Smbolo

Expresin Matemtica AB A*B

And (Condicin)
And (Condicin) equivalente elctrico

Tabla de Verdad

m A B X=AB
0
0 0 0
1
0 1 0
2
1 0 0
3
1 1 1
 And
Diagrama de
Tiempos
And de tres entradas
And
Chip DIP
And SN7408
And SN7408
And
SN7408
 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

OR
OR
Tabla de Verdad

m A B X=A+B
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 1
OR

Tabla de Verdad

m A B X=A+B
0 0 0 0
1 0 1 1
2 1 0 1
3 1 1 1
 OR
Diagrama de Tiempos
 OR
de tres entradas
OR
OR SN7432
Or SN7432
Or SN7432
 Not
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
Not

m A A

0 0 1

1 1 0
m A A

0 0 1

1 1 0
Not SN7404
 Nand
La operacin Nand es el negado de la
salida de la operacin And.

m A B X=AB
0 0 0 1
1 0 1 1
2 1 0 1
3 1 1 0
Nand
 NOR
La operacin Nor es el negado de la salida
de la operacin Or..

m A B X=A+B
0 0 0 1
1 0 1 0
2 1 0 0
3 1 1 0
NOR
 Exor
Alternativa Exclusiva
(Opcin entre dos cosas, una, otra pero no ambas)
La operacin Exor produce un resultado 1, cuando un
nmero impar de variables de entrada valen 1.
Exor
Exor
 Exnor
La operacin Exnor es el negado de la salida
de la operacin Exor..
 Operadores Lgicos
Operadores Lgicos

And
And
Nombre
Or
Or Caracterstica
Smbolo
Not
Not Expresin Matemtica
Nand
Nand Tabla de verdad
Circuito Equivalente
Nor
Nor Diagrama de Tiempos

Exor
Exor
Exnor
Exnor