Algebra de Boole

Por:
Carlos A. Fajardo
cafajar@uis.edu.co
 Por qu estudiar Algebra de Boole?

Sistemas Digitales Profesor: Carlos Fajardo 2

Por qu estudiar Algebra de Boole?
 Por qu estudiar Algebra de Boole?

Sistemas Digitales Profesor: Carlos Fajardo 4

 Por qu estudiar Algebra de Boole?

Sistemas Digitales Profesor: Carlos Fajardo 5

 Advertencia

Sistemas Digitales Profesor: Carlos Fajardo 6

 Advertencia

No se requiere ser un experto en TODOS

los conceptos del Algebra de Boole.

Sistemas Digitales Profesor: Carlos Fajardo 7

 Advertencia

No se requiere ser un experto en TODOS

los conceptos del Algebra de Boole.

Algunos conceptos bsicos son suficientes

para ser un buen diseador digital.

Sistemas Digitales Profesor: Carlos Fajardo 8

 Algebra de Boole
Tres operaciones:
Suma Booleana (+) : OR
Multiplicacin Booleana ( ): AND
Negacin : NOT

Las variables (Dominio y Rango): Slo dos

valores
1
0

Sistemas Digitales Profesor: Carlos Fajardo 9

 Algebra de Boole
Tres operaciones:
Suma Booleana (+) : OR
Multiplicacin Booleana ( ): AND
Negacin : NOT

Las variables (Dominio y Rango): Slo dos

valores
1
0

Sistemas Digitales Profesor: Carlos Fajardo 10

 Algebra de Boole
Tres operaciones:
Suma Booleana (+) : OR
Multiplicacin Booleana ( ): AND
Negacin : NOT

Las variables (Dominio y Rango): Slo dos

valores
1
0

Sistemas Digitales Profesor: Carlos Fajardo 11

 Compuerta OR

Sistemas Digitales Profesor: Carlos Fajardo 12

 Compuerta OR

Sistemas Digitales Profesor: Carlos Fajardo 13

 Compuerta OR

0+0=0
0+1=1
1+0=1
1+1=1

Sistemas Digitales Profesor: Carlos Fajardo 14

 Compuerta OR

0+0=0
0+1=1
1+0=1
1+1=1

A B F = A or B
F=A+B
0 0 0
0 1 1
1 0 1
1 1 1

Sistemas Digitales Profesor: Carlos Fajardo 15

 Compuerta OR
Tabla de Verdad
A B F = A or B
F=A+B
0 0 0
0 1 1
1 0 1
1 1 1

a
f=a+b
b
Funcin O
Smbolo

Analoga
Sistemas Digitales Profesor: Carlos Fajardo 16
 Compuerta AND
Tabla de Verdad
A B F = A and B
F=AB
0 0 0
0 1 0
1 0 0
1 1 1

a
f = ab
b
Funcin Y
Smbolo

Analoga
Sistemas Digitales Profesor: Carlos Fajardo 17
 Compuerta NOT
Tabla de Verdad

0 0
0 1

a a

Smbolo
Funcin inversin
Analoga

Sistemas Digitales Profesor: Carlos Fajardo 18

 Otras operaciones adicionales

Sistemas Digitales Profesor: Carlos Fajardo 19

 Compuerta NOR
Tabla de Verdad
A B F = (A or B)
F = (A + B)
0 0 1
0 1 0
1 0 0
1 1 0

a
f=a+b=ab
b
Smbolo

Sistemas Digitales Profesor: Carlos Fajardo 20

 Compuerta NAND
Tabla de Verdad
A B F = (A B)
0 0 1
0 1 1
1 0 1
1 1 0

a
f=ab=a+b
b
Smbolo

Sistemas Digitales Profesor: Carlos Fajardo 21

 Compuerta XOR
Tabla de Verdad
A B F = A xor B
F=AB
0 0 0
0 1 1
1 0 1
1 1 0

a
fo = a b
b

Smbolo

Sistemas Digitales Profesor: Carlos Fajardo 22

 Compuerta NXOR
Tabla de Verdad
A B F = (A xor B)
F = (A B)
0 0 0
0 1 1
1 0 1
1 1 0

Smbolo

Sistemas Digitales Profesor: Carlos Fajardo 23

 Algunas propiedades importantes

Sistemas Digitales Profesor: Carlos Fajardo 24

 Propiedades (Axiomas)

Sistemas Digitales Profesor: Carlos Fajardo 25

 Leyes de Morgan

+ =

=+
Sistemas Digitales Profesor: Carlos Fajardo 26
 Ley de Shannon
Si tenemos cualquier expresin booleana
negada, es igual a la misma expresin en la
que todas las variables estn negadas y en la
que se sustituyan las operaciones + por y
viceversa.

( + ) ) = + +
+ ) =

Sistemas Digitales Profesor: Carlos Fajardo 27

 Compuertas Universales

Sistemas Digitales Profesor: Carlos Fajardo 28

 NAND

Sistemas Digitales Profesor: Carlos Fajardo 29

 NOR

Sistemas Digitales Profesor: Carlos Fajardo 30

 fin
Sistemas Digitales Profesor: Carlos Fajardo 31