Diseño de Circuitos

Combinacionales
Mgtr. Jean Carlos Malca Fernández
Síntesis de Circuitos combinacionales
➢ Se podría considerar el paso “contrario” al análisis ( TV -> EL) .
➢ Obtener un esquema lógico a partir de una descripción

funcional.
Descripción Funcional

Texto, lenguaje de alto nivel, … X Y W

Esquema
0 0 0 Lógico
IF (x=y) w=0 else w=1; 0 1 1
1 0 1
1 1 0
Síntesis de Circuitos Combinacionales

Síntesis
Especificaciones
Función canónica
en minterms o en
maxterms
F(A, B, C ) = ...
A B C F

0 0 0 1 Simplificación e
0 0 1 0 implementación
0 1 0 1
0 1 1 0
1 0 0 1 Algebra de Boole
1 0 1 0
1 1 0 0 Método de Karnaugh
1 1 1 1
Método de McCluskey
Síntesis de circuitos combinacionales
1. De la descripción funcional (texto) a la tabla de verdad

2- De la tabla de verdad a la función lógica canónica .

3- Simplificación de la función lógica

4- Implementación.
Función Canónica
➢ Se llama término canónico a aquel que contiene a TODAS las
variables de una función dada.
o Minterm es un producto canónico.
o Maxterm es una suma canónica.
➢ Cualquier función booleana puede expresarse en forma de:
o 1ª Forma canónica: Suma de minterms.
𝐹 = ෍ 𝑚𝑖 ({𝑖/𝐹 𝑖 = 1})

o 2ª Forma canónica: Productos de maxterms.

𝐹 = ෑ 𝑀𝑖 ({𝑖 /𝐹(𝑖) = 0})
 1ª Forma canónica: Suma de minterms.

➢ Solución: Aplicando el concepto de minterms

A B C Z1 Z2
0 0 0 0 1 z = ma + mb + ... + mk
0 0 1 0 1
0 1 0 0 0
0 1 1 0 0 ത
𝑧1 = 𝐴𝐵ത 𝐶ҧ +𝐴𝐵C
1 0 0 1 0
1 0 1 1 0 𝑧2 = 𝐴ҧ𝐵ത 𝐶+
ҧ 𝐴ҧ𝐵𝐶
ത +𝐴𝐵 𝐶ҧ
1 1 0 0 1
1 1 1 0 0 ➢ “Suma de Productos (SDP)”
 2ª Forma canónica: Producto de maxterms

➢ Solución: Aplicando el concepto de maxterms

A B C Z1 Z2
0 0 0 1 0 z = Ma Mb ... Mk
0 0 1 1 1
0 1 0 1 1
0 1 1 1 1 𝑧1 = (𝐴ҧ + 𝐵 + 𝐶) (𝐴ҧ + 𝐵 + 𝐶)ҧ
1 0 0 0 1
1 0 1 0 1 𝑧2 = (𝐴 + 𝐵 + 𝐶) (𝐴ҧ + 𝐵ത + 𝐶)
1 1 0 1 0
1 1 1 1 1 ➢ “Productos de Sumas”
Simplificación: Algebra de Boole

➢ Fue inventada en el año 1854

por el matemático ingles
George Boole.
➢ Es un método para simplificar

circuitos lógicos
Simplificación: Algebra de Boole
• Ejemplo: Hallar la función lógica simplificada dela
siguiente tabla de verdad
A B C Z 𝑍 = 𝐴ҧ𝐵ത 𝐶ҧ + 𝐴ҧ𝐵𝐶 ҧ 𝐶ҧ + 𝐴𝐵 𝐶ҧ
ത + 𝐴𝐵
0 0 0 1
0 0 1 1 𝑍 = 𝐴ҧ𝐵(
ത 𝐶ҧ + 𝐶) + (𝐴ҧ + 𝐴)𝐵𝐶ҧ
0 1 0 1
0 1 1 0 𝑍 = 𝐴ҧ𝐵(1)
ത + (1)𝐵𝐶ҧ

1 0 0 0
𝑍 = 𝐴ҧ𝐵ത + 𝐵𝐶ҧ
1 0 1 0
1 1 0 1
1 1 1 0
Simplificación: Algebra de Boole
• Ejercicio Propuesto: Hallar la función lógica simplificada dela siguiente tabla
de verdad
A B C Z
ҧ 𝐶ҧ + 𝐴𝐵𝐶
𝑍 = 𝐴𝐵 ҧ + 𝐴𝐵ത 𝐶ҧ + 𝐴𝐵𝐶
ത + 𝐴𝐵 𝐶ҧ + 𝐴𝐵𝐶
0 0 0 0
0 0 1 0 ҧ (𝐶ҧ + 𝐶) + 𝐴𝐵(
𝑍 = 𝐴𝐵 ത 𝐶ҧ + 𝐶)+𝐴𝐵(𝐶ҧ + 𝐶)
0 1 0 1
0 1 1 1 ҧ + 𝐴𝐵ത + 𝐴𝐵
𝑍 = 𝐴𝐵
1 0 0 1 ҧ + 𝐴𝐵 + 𝐴𝐵 + 𝐴𝐵ത
𝑍 = 𝐴𝐵
1 0 1 1
1 1 0 1 𝑍 =𝐵+𝐴
1 1 1 1
Simplificación: Algebra de Boole
• Ejercicio Propuesto: Hallar la función lógica simplificada dela siguiente tabla
de verdad

ҧ 𝐶ҧ + 𝐴𝐶𝐷
𝑍 = 𝐴𝐵 ҧ ҧ 𝐷
+ 𝐴𝐵𝐶 ഥ + 𝐴𝐶𝐷
Simplificación: Mapas de Karnaugh
➢ Consiste en construir una cuadricula en forma de encasillado.
➢ Cada casilla representa las distintas combinaciones de las variables de
entrada que puedan existir.

Mapa de Karnaugh para 3 variables Mapa de Karnaugh para 4 variables

Simplificación: Mapas de Karnaugh
• Reglas para simplificar
➢ Colocamos 1 en cada casilla donde exista la
función , es decir , donde hacen la salida 1
➢ Se agrupan los unos en bloques de casillas
adyacentes de 8, 4,2…(potencias de 2)
1 1 1 1
1
Simplificación: Mapas de Karnaugh
• Reglas para simplificar
➢ Colocamos 1 en cada casilla donde exista la
función , es decir , donde hacen la salida 1 𝐴ҧ
➢ Se agrupan los unos en bloques de casillas
adyacentes de 8, 4,2…(potencias de 2)
1 1 1 1
➢ A cada grupo se eliminan las variables que
intervienen con su doble valor (0 , 1) 1

➢ Representamos las variables en forma 𝐵ത 𝐶ҧ

negada cuando el valor sea 0 , y en forma
directa cuando sea 1. 𝑆 = 𝐴ҧ + 𝐵ത 𝐶ҧ
Simplificación: Mapas de Karnaugh
𝑆 = 𝐴ҧ𝐵ത 𝐶ҧ + A𝐵ത 𝐶ҧ + 𝐴ҧ𝐵𝐶
ത + 𝐴𝐵𝐶 ҧ ҧ 𝐶ҧ
+ 𝐴𝐵
𝑆 = 𝐴ҧ𝐵ത 𝐶ҧ + 𝐴ҧ𝐵ത 𝐶ҧ + A𝐵ത 𝐶ҧ + 𝐴ҧ𝐵𝐶ത + 𝐴𝐵𝐶 ҧ ҧ 𝐶ҧ
+ 𝐴𝐵
𝑆 = 𝐴ҧ𝐵ത 𝐶ҧ + A𝐵ത 𝐶ҧ + 𝐴ҧ𝐵ത 𝐶ҧ + 𝐴ҧ𝐵𝐶 ത + 𝐴𝐵𝐶 ҧ + 𝐴𝐵ҧ 𝐶ҧ
𝑆 = 𝐵ത 𝐶ҧ + 𝐴ҧ
Grupo Verde 𝐴ҧ
Conforman 2 términos: 𝐴ҧ𝐵ത 𝐶ҧ + A𝐵ത 𝐶ҧ
(𝐴ҧ + A)𝐵ത 𝐶ҧ
(1)𝐵ത 𝐶ҧ 1 1 1 1
𝐵ത 𝐶ҧ
1
Grupo Amarillo
Conforma 4 términos: 𝐴ҧ𝐵ത 𝐶ҧ + 𝐴ҧ𝐵𝐶 ҧ
ത + 𝐴𝐵𝐶 ҧ 𝐶ҧ
+ 𝐴𝐵
𝐵ത 𝐶ҧ
𝐴ҧ𝐵(
ത 𝐶ҧ + 𝐶) + 𝐴𝐵(𝐶
ҧ + 𝐶)ҧ
𝐴ҧ𝐵ത + 𝐴𝐵
ҧ 𝑆 = 𝐴ҧ + 𝐵ത 𝐶ҧ
𝐴(ҧ 𝐵ത + 𝐵)
𝐴ҧ
Simplificación: Mapas de Karnaugh
Agrupamientos validos

• Agrupamientos inválidos
Simplificación: Mapas de Karnaugh
• Ejercicio Propuesto: Hallar la función lógica simplificada dela siguiente tabla de
verdad
A B C Z BC
A 00 01 11 10 ҧ + 𝐴𝐵
𝑍 = 𝐴𝐶
0 0 0 0
0 0 1 1 0 0 1 1 0
0 1 0 0 A
0 1 1 1 1 0 0 1 1
C
1 0 0 0 Z
1 0 1 0 Agrupar los 1’s de F
B
1 1 0 1
1 1 1 1
Simplificación: Mapas de Karnaugh
• Ejercicio Propuesto: Hallar la función lógica simplificada dela siguiente tabla de
verdad ҧ + 𝐵𝐶 + 𝐴𝐵
𝑍 = 𝐴𝐶
A B C Z BC 𝑍 = 𝐴𝐶ҧ + 𝐵𝐶(𝐴 + 𝐴)ҧ + 𝐴𝐵
0 0 0 0 A 00 01 11 10 ҧ + 𝐵𝐶𝐴 + 𝐵𝐶 𝐴ҧ + 𝐴𝐵
𝑍 = 𝐴𝐶
0 0 1 1 0 0 1 1 0 ҧ
𝑍 = 𝐴𝐶(1 + 𝐵) + 𝐴𝐵(1 + 𝐶)
0 1 0 0
0 1 1 1 1 0 0 1 1 ҧ + 𝐴𝐵
𝑍 = 𝐴𝐶
1 0 0 0
1 0 1 0 Agrupar los 1’s de F A
1 1 0 1 C
1 1 1 1 Z