Tema 3.

1
Introduccin a los circuitos combinacionales. Algebra de Boole
ndice Algebra de Boole. Definicin. Operaciones lgicas: OR, AND, XOR y NOT Puertas lgicas Algebra de Boole Postulados Teoremas Funciones lgicas: formas cannicas. Tablas de verdad Realizacin de funciones en puertas NAND y NOR
Departamento de Automtica Universidad de Alcal

Bibliografa Fundamentos de sistemas digitales. Thomas Floyd. Prentice-Hall. Fundamentos de diseo lgico y computadoras. M. Morris Mano. Prentice-Hall

Fundamentos de Tecnologa de Computadores

Algebra de Boole. Definicin

Algebra de Boole es todo conjunto de elementos capaz de adoptar dos valores (0 y 1). Cada uno de dichos elementos recibe el nombre de Variable lgica Estn definidas dos operaciones: suma lgica y producto lgico (+ y *).

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Operaciones lgicas
OR NOT

a 0 0 1 1

b 0 1 0 1

a OR b 0 1 1 1

a 0 1

NOT a 1 0

AND

a 0 0 1 1

b 0 1 0 1

a AND b 0 0 0 1

XOR

a 0 0 1 1

b 0 1 0 1

a XOR b 0 1 1 0

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Puertas lgicas (I)

a 0 0 1 1

b 0 1 0 1

a OR b 0 1 1 1

a 0 0 1 1

b 0 1 0 1

a AND b 0 0 0 1

Se representa como: a + b

Se representa como: a b

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Puertas lgicas (II)

a 0 0 1 1

b 0 1 0 1

a XOR b 0 1 1 0

a 0 1

NOT a 1 0

Se representa como: a + b

Se representa como: a

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Algebra de Boole. Postulados

El Algebra de Boole cumple los siguientes postulados: 1. Propiedad conmutativa.
a+b=b+a a*(b+c) = a*b + a*c a+(b*c) = (a+b) * (a+c) a*b=b*a

2. Propiedad distributiva

3. Elemento neutro
a+0=a a + a =1 a*1=a a*a=0

4. Elemento Simtrico (complementario):

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Algebra de Boole. Teoremas

Se demuestran a partir de los 4 postulados anteriores. 1. Ley de idempotencia:
a+a = a a*a = a

2. Ley de complemento:
a + a =1 a*a=0

3. Ley conmutativa:
a+b=b+a a*b=b*a

4. Ley asociativa:
a+(b+c) = (a+)b+c a*(b*c) = (a*b)*c

5. Ley distributiva:
a*(b+c) = a*b + a*c a+(b*c) = (a+b) * (a+c)

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Algebra de Boole. Teoremas

6. Ley de cancelacin:
(a*b)+a = a (a+b)*a = a

7. Ley de identidad:
a+0 = a a*1 = a

8. Ley de dominacin:
a+1 = 1 a*0 = 0

9. Ley de doble complemento

a=a

10. Leyes de Morgan:

a+b = a * b a*b = a + b

Las leyes de morgan junto con la doble negacin nos permiten pasar de expresiones en sumas lgicas a expresiones equivalentes en productos lgicos y viceversa
rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Algebra de Boole. Funciones Lgicas. Formas Cannicas

Funcin lgica: Expresin de variables booleanas o binarias unidas por las operaciones lgicas suma, producto y complementacin. Ejemplo: f1(c,b,a) = a + cb + cba Trmino cannico: Producto o suma en el que aparecen todas las variables (o sus complementos) de que depende una funcin. Funcin cannica: formada exclusivamente por trminos cannicos Minterm: trmino cannico en forma de producto de variables (ej.: cba). Conversin: Multiplicar cada trmino no cannico por la suma de las variables que le falten, en su forma normal y complementada. Maxterm: trmino cannico en forma de suma de variables (ej.: c+b+a). Conversin: Sumar a cada trmino no cannico productos formados por cada variable que falte y su complementada.

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Tablas de verdad
Es otra forma de representar un funcin lgica y sirve para obtener el desarrollo en forma cannica de la misma. Ejemplo: f (c,b,a) = cb + ca Tabla de verdad:
c 0 1 2 3 4 5 6 7 0 0 0 0 1 1 1 1 b 0 0 1 1 0 0 1 1 a 0 1 0 1 0 1 0 1 f 0 1 0 1 0 0 1 1

10

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Realizacin de funciones en puertas NAND y NOR (I)

Las puertas NAND y NOR son puertas Universales, es decir, cualquier funcin lgica se puede expresar utilizando solo puertas NAND o solo puertas NOR. Adems son las mas fciles de construir. Con NAND Con NOR

11

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores

Realizacin de funciones en puertas NAND y NOR (II)

Para pasar cualquier circuito a puertas NAND o NOR se emplean la ley de la doble negacin y las leyes de Morgan. Ejemplo: A NAND Pasamos sumas a productos
f1

Sea la funcin

A NOR Pasamos productos a sumas

f1

12

rea de Arquitectura y Tecnologa de Computadores Departamento de Automtica Universidad de Alcal

T3 Circuitos Combinacionales Fundamentos de Tecnologa de Computadores