Tema 1: Circuitos Combinacionales

Contenidos

1.1 Introducción
1.2 Álgebra de Boole
1.3 Puertas Lógicas
1.4 Síntesis de Circuitos Combinacionales
1.5 Ejemplos

1
 1.1 Introducción
Señales y Sistemas

Entrada Salida
(Excitación) (Respuesta)
 Sistema 

Un sistema es un conjunto de partes o elementos organizadas y

relacionadas que interactúan entre sí para lograr un objetivo.
Los sistemas abiertos reciben (entrada) datos, energía o materia del
ambiente y proveen (salida) información, energía o materia.
El sistema establece una relación entre las salidas y las entradas

T :   : Alfabeto de entrada
      T (    : Alfabeto de salida
2
 1.1 Introducción
Clasificación de las Señales
Variable
Contínua Discreta

Variable Variable
Contínuo

Tiempo Tiempo
Tiempo
Variable Variable

Discreto

Tiempo Tiempo
3
 1.1 Introducción
Clasificación de Señales

Señales Analógicas Señales Digitales

Variable Contínua Variable Discreta
Tiempo Contínuo Tiempo Discreto

Variable Variable

Tiempo(t) 0 1 2 3 4 5 Tiempo(n)

4
 1.1 Introducción
Interconexión entre Sistemas Analógicos y Digitales

Sistema
Analógico

Conversor Conversor
Digital/Analógico Analógico/Digital

Sistema
Digital

5
 1.1 Introducción
Clasificación de los Sistemas Electrónicos Digitales
• Sistemas Combinacionales

No tienen memoria

xn   y n  T ( xn )  
Sistema
Combinacional
Ejemplo : yn  xn  2
• Sistemas Secuenciales

Tienen memoria
xn   y n  T ( xn , n)  
Sistema
Secuencial
Ejemplo : yn  xn  2  yn 1

6
 1.2 Álgebra de Boole
Definición
Se define álgebra de Boole como un conjunto finito B con al menos 2
elementos, N (elemento nulo), U (elemento universal),dos operaciones
binarias (*,+) y una unaria ( ) que cumplen los siguientes axiomas:

• Las operaciones *,+, , deben • Propiedad distributiva:

ser cerradas x * ( y  z)  ( x * y)  ( x * z)
x* y B x  ( y * z)  ( x  y) * ( x  z)

x, y  B  x  y  B • Propiedad conmutativa:
 xB x* y  y* x

• Las operaciones con los
x y  yx
elementos N,U deben cumplir • Propiedad de complementación:
las siguientes propiedades: x* x  N
x  B, x  B / 
x* N  N xN  x x  x  U
x *U  x x U  U • Existencia de elementos: Por lo
menos hay 2 elementos en B 7
 1.2 Álgebra de Boole
Propiedades deducidas de los postulados

• Propiedad de Idempotencia: • Propiedad de Absorción:

x*x  x x  ( x * y)  x
xx  x x * ( x  y)  x
• Propiedad del Consenso:
• Propiedad Asociativa:
x  ( x * y)  x  y
x * ( y * z )  ( x * y) * z
x * ( x  y)  x * y
x  ( y  z)  ( x  y)  z
• Teorema de De Morgan:

• Propiedad del Involución:
( x * y)  x  y
 

x   x ( x  y)  x * y
8
 1.2 Álgebra de Boole
Conjunto y Operaciones

• Conjunto:
N 0
B  0,1
U 1
• Operaciones:

Suma Lógica Producto Lógico Negación Lógica

OR AND NOT

+ 0 1 * 0 1 -
0 0 1 0 0 0 0 1
1 1 1 1 0 1 1 0

9
 1.3 Puertas Lógicas
Implementación de funciones booleanas

Tablas de Verdad

x1 x2 z x1 x2 z
AND OR NOT
00 0 00 0 x1 z
z  x1  x2 z  x1  x2 z  x1
01 0 01 1 0 1
10 0 10 1 1 0
11 1 11 1

Tabla de Verdad: Es una tabla en la que se indican los valores

de las salidas del sistema para todas las posibles combinaciones
de valores de entrada. Tiene tantas columnas como la suma del
número de entrada y salida y tantas filas como combinaciones de
entradas.
10
 1.3 Puertas Lógicas
VO

⌂ VOH: Mínima Tensión que se proporciona a la

VDD
salida para indicar un 1 Lógico
⌂ VOL: Máxima Tensión que se proporciona a la
VOH salida para indicar un 0 Lógico
⌂ VIL: Máxima Tensión que podemos considerar
un 0 lógico de entrada
⌂ VIH: Mínima Tensión que podemos considerar
un 1 lógico de entrada

VOL
Vi
VIL VIH VDD

11
 1.3 Puertas Lógicas

Nombre
Función
Breve Descripción

Diagrama de Tabla de Verdad

conexiones

12
 1.3 Puertas Lógicas

Alimentación
Tensión de entrada

Tensiones de salida

Tiempos de conmutación

13
 1.2 Álgebra de Boole

Marca que indica el pin 1

Encapsulado

Nombre del encapsulado

14
 1.3 Puertas Lógicas
Implementación de funciones booleanas

x1 x2 z x1 x2 z
AND OR NOT
00 0 00 0 x1 z
z  x1  x2 z  x1  x2 z  x1
01 0 01 1 0 1
10 0 10 1 1 0
11 1 11 1

x1 x2 z
x1 x2 z x1 x2 z
NAND NOR XOR
00 0
00 1 00 1
z  x1  x2 z  x1  x2 z  x1  x2 01 1
01 1 01 0
10 1
10 1 10 0
11 0
11 0 11 0
15
 1.3 Puertas Lógicas
Equivalencias

x z x z x z

ZX Z  X X  X ZXX X

x
x x
z z z
y y
Z  X Y Z  X Y  X Y y Z  X  Y  X Y

x x
x
z z z
y y
y
Z  X Y Z  X Y  X  Y Z  X Y  X Y
16
 1.4 Síntesis de Circuitos Combinacionales
Circuito Combinacional

• Un circuito combinacional es un sistema cuya transformación son m funciones

booleanas de n variables de entrada

Entradas
x1 y1  f1 ( x1 , x2 ,, xn )
x2 y2  f 2 ( x1 , x2 ,, xn )

Circuito
xn Combinacional ym  f m ( x1 , x2 ,, xn )

F(x1,x2,…,xn)
Función Boooleana

Salidas
17
 1.4 Síntesis de Circuitos Combinacionales
Formas canónicas de una función booleana

• Minitérmino: Producto de todas las variables de la función, negadas o no

• Maxitérmino: Suma de todas las variables de la función, negadas o no

m 0  x1  x 2  x 3 M 0  x1  x 2  x 3
m1  x1  x 2  x 3 M 1  x1  x 2  x 3
m 2  x1  x 2  x 3 M 2  x1  x 2  x 3
m 3  x1  x 2  x 3 M 3  x1  x 2  x 3
m 4  x1  x 2  x 3 M 4  x1  x 2  x 3
m 5  x1  x 2  x 3 M 5  x1  x 2  x 3
m 6  x1  x 2  x 3 M 6  x1  x 2  x 3
m 7  x1  x 2  x 3 M 7  x1  x 2  x 3

yi  fi ( x1 , x2 ,, xn )
18
 1.4 Síntesis de Circuitos Combinacionales
Formas canónicas de una función booleana

• Forma canónica conjuntiva: Producto de maxitérminos

Mi  Mj  Mk x1  x 2   x1  x 2 
• Forma canónica disyuntiva: Suma de minitérminos

mi  mj  mk  ml x1  x 2   x1  x 2 

2 n 1 2 n 1

 mi ( x , x
i 1
1 2 , , xn )  1  Mi ( x , x
i 1
1 2 , , xn )  0

19
 1.4 Síntesis de Circuitos Combinacionales
Tabla de verdad

Minitérminos Maxitérminos
x1 x 2 x3 z
x1  x2  x3  x1  x2  x3 
000 0
x1  x2  x3  x1  x2  x3 
001 0
x1  x2  x3  x1  x2  x3  010 1
x1  x2  x3  x1  x2  x3  011 1
x1  x2  x3  x1  x2  x3  100 0
x1  x2  x3  x1  x2  x3  101 0
x1  x2  x3  x1  x2  x3  110 1
x1  x2  x3  x1  x2  x3  111 0

z   x1  x2  x3    x1  x2  x3   x1  x2  x3 
  x1  x2  x3    x1  x2  x3 
z  x1  x2  x3   x1  x2  x3   x1  x2  x3  20
 1.4 Síntesis de Circuitos Combinacionales
Ejemplo (Diseño de sumador binario)

Tabla de verdad Formas canónicas

Acarreo  x1  x2   x1  x2    x1  x2   x1  x2 
x1 x2 Acarreo Suma
Suma  x1  x2  x1  x2   x1  x2    x1  x2 
00 0 0
01 0 1 Realización
10 0 1 x1
11 1 0 x1 Acarreo x2
x2
x1
Suma

x2

Acarreo x1

Suma
x2

21
 1.4 Síntesis de Circuitos Combinacionales
Simplificación de funciones booleanas (Mapas de Karnaugh)
2 variables 3 variables
x1 x2 x1
0 1 x3 00 01 11 10
x2
4 variables
0 0 x2 x1
0 1 0 1 3 2
x4 x3 00 01 11 10
1 1
2 3 4 5 7 6
00
0 1 3 2

x5  0
5 variables 01
x5  1 4 5 7 6
x2 x1 x2 x1 11
x4 x3 00 01 11 10
x4 x3 00 01 11 10 12 13 15 14

10
8 9 10
00 00 11
0 1 3 2 16 17 19 18

01 01
4 5 7 6 20 21 23 22

11 11
12 13 15 14 28 29 31 30

10 10
8 9 11 10 24 25 27 26 22
 1.4 Síntesis de Circuitos Combinacionales
Mapas de Karnaugh
Ejemplo Sumador: Acarreo  x1  x2   m(3)
Suma  x1  x2  x1  x2   m(1,2) x1
0 1
x2
x1
0 1
x2 0 0 0

0 0 1 1 0 1

1 1 0

x1 x2 Acarreo Suma

00 0 0
01 0 1
10 0 1
11 1 0

23
 1.5 Ejemplos X4X 3 X2X1 z
00 00 1
Mapas de Karnaugh 00 01 1
00 10 1
Ejemplo Comparador: x2 x1  x4 x3 00 11 1
01 00 0
Comparador   m(0,1,2,3,5,6,7,15,11,10) 01 01 1
01 10 1
01 11 1
x2 x1
x4 x3 00 01 11 10 10 00 0
10 01 0
00 1 1 1 1
10 10 1
01 0 1 1 1 10 11 1
11 0 0 1 0 11 00 0
11 01 0
10 0 0 1 1
11 10 0
11 11 1
24
 1.5 Ejemplos
Mapas de Karnaugh (Simplificación)
•Implicantes •Implicantes primos •Implicantes primos
esenciales
x2 x1 x2 x1 x2 x1
x4 x3 00 01 11 10 x4 x3 00 01 11 10 x4 x3 00 01 11 10

00 0 1 1 0 00 0 1 1 0 00 0 1 1 0

01 1 1 1 0 01 1 1 1 0 01 1 1 1 0

11 1 1 0 0 11 1 1 0 0 11 1 1 0 0

10 1 1 0 0 10 1 1 0 0 10 1 1 0 0

Agrupaciones de 2n elementos No están totalmente incluidos en otro Si se eliminan la función

adyacentes grupo queda algún elemento sin
agrupar

25
 1.5 Ejemplos
Mapas de Karnaugh
Ejemplo Comparador: x2 x1  x4 x3

Comparador   m(0,1,2,3,5,6,7,15,11,10) x2 x1
x4 x3 00 01 11 10

00 1 1 1 1

Simplificación 01 0 1 1 1

11 0 0 1 0
Comparador  x4  x3  x2  x1  x1  x4
10 0 0 1 1
 x2  x4  x2  x3

26
 1.5 Ejemplos
Realización
Ejemplo Comparador: x2 x1  x4 x3
x4
x3 x4
x2 x3
x1 x2
x1

Salida
Salida

27
 1.5 Ejemplos
Ejemplo
Diseñar un circuito con 4 entradas (a,b,c,d) y una salida s que opere
de la siguiente manera:
• s es 0 si 3 o más entradas son 1 salvo que a sea 0 abcd s
0000 1
•Si a es 0 y otras dos entradas son 1, entonces s es 0 0001 1
•Si a es 1 y otra entrada es 1, s es 0 0010 1

•Si una sola entrada que no sea b es 1 entonces s es 1 0011 0

• s es 1 si a=b=c=d=0 0100 x
0101 0
0110 0
cd 0111 x
00 01 11 10 1000 1
ab
1001 0
s  b c  d  a b c  a b  d 00 1 1 0 1 1010 0
1011 0
01 X 0 X 0 1100 0
1101 0
11 0 0 0 0
1110 0
1111 0
10 1 0 0 0
28
 1.5 Ejemplos
Ejemplo

s  b c  d  a b c  a b  d

a
b
c

29
 1.5 Ejemplos
Ejemplo
En una unidad se reciben 4 bits en BCD. Determinar mediante un
circuito la presencia de los múltiplos de 3 o de 4
abcd s3 s4
0 0000 0 0
1 0001 0 0 s3  a  d  b  c  d  b  c  d s4  a  d  b  c  d
2 0010 0 0
3 0011 1 0
cd cd
4 0100 0 1 00 01 11 10 00 01 11 10
5 0101 0 0 ab ab
6 0110 1 0
00 0 0 1 0 00 0 0 0 0
7 0111 0 0
8 1000 0 1
01 0 0 0 1 01 1 0 0 0
9 1001 1 0
1010 X X 11 X X X X 11 X X X X
1011 X X
1100 X X 10 0 1 X X 10 1 0 X X
1101 X X
1110 X X
1111 X X
30
 1.5 Ejemplos
Ejemplo

s3  a  d  b  c  d  b  c  d s4  a  d  b  c  d

a
a
b
b
c c
d
d

s3
s4

31