Sunteți pe pagina 1din 34

1.

DISEÑO DE CIRCUITOS LÓGICOS


• Introducción
• Algebra de Boole
• Tablas de Verdad
• Leyes de la Lógica
• Circuitos Lógicos

1
www.groupbytes.com Ing. Beymar Jiménez Ruíz
1.1. Algebra de Boole

1.1.1. Definición
 George Boole es un matemático y lógico británico,
nació el 2 de noviembre de 1815 y falleció el 8 de
diciembre de 1864 a los 49 años
 Una de las afirmaciones de George Boole dice:
“La interpretación respectiva de los símbolos 0 y 1 en el sistema
numérico de la lógica son: la NADA y el UNIVERSO”
 El álgebra de Boole es una técnica para operar las expresiones
de la lógica proposicional, esta estructura algebraica permite
esquematiza las operaciones lógicas
 El álgebra de Boole es utilizada para el:
- Análisis de funcionamiento de circuitos eléctricos y
electrónicos
- Diseño de circuitos eléctricos y electrónicos
2
www.groupbytes.com Ing. Beymar Jiménez Ruíz
 El álgebra de Boole fue utilizada por primera vez por Claud
Shannon en el año 1948, para diseñar circuitos de conmutación
eléctrica biestable (flip-flop), que son circuitos capaces de
mantener el estado de 0 o 1 por un tiempo indefinido

1.1.2. Tablas de Verdad - Algebra de Boole


Sea el valor de:
𝟎 = Falso
𝟏 = Verdadero
Sean 𝐀, 𝐁 entradas al circuito lógico:
 Tabla de Verdad de la Negación

𝐀 ̅
𝐀
0 1
1 0

3
www.groupbytes.com Ing. Beymar Jiménez Ruíz
 Tabla de Verdad de la Conjunción
𝐀 𝐁 𝐀⋅𝐁
0 0 0
0 1 0
1 0 0
1 1 1

 Tabla de Verdad de la Disyunción


𝐀 𝐁 𝐀+𝐁
0 0 0
0 1 1
1 0 1
1 1 1

4
www.groupbytes.com Ing. Beymar Jiménez Ruíz
 Tabla de Verdad de la Disyunción Exclusiva (XOR)
𝐀 𝐁 𝐀⊕𝐁
0 0 0
0 1 1
1 0 1
1 1 0

 Tabla de Verdad de la Negación de la Conjunción (NAND)


𝐀 𝐁 ̅̅̅̅̅̅
𝐀⋅𝐁
0 0 1
0 1 1
1 0 1
1 1 0

5
www.groupbytes.com Ing. Beymar Jiménez Ruíz
 Tabla de Verdad de la Negación de la Disyunción (NOR)
𝐀 𝐁 ̅̅̅̅̅̅̅̅
𝐀+𝐁
0 0 1
0 1 0
1 0 0
1 1 0

 Tabla de Verdad de la Negación de la Disyunción (XNOR)


𝐀 𝐁 ̅̅̅̅̅̅̅̅̅
𝐀⊕𝐁
0 0 1
0 1 0
1 0 0
1 1 1

6
www.groupbytes.com Ing. Beymar Jiménez Ruíz
 Tabla de Verdad de la Condicional
𝐀 𝐁 𝐀→𝐁
0 0 1
0 1 1
1 0 0
1 1 1

 Tabla de Verdad de la Bicondicional


𝐀 𝐁 𝐀↔𝐁
0 0 1
0 1 0
1 0 0
1 1 1

7
www.groupbytes.com Ing. Beymar Jiménez Ruíz
1.2. Circuitos Lógicos
 Que es un circuito lógico
 Datos históricos de los circuitos lógicos
 Representación gráfica de los circuitos lógicos
 Componentes electrónicos discretos
 Relación de los circuitos lógicos
 Gráfico
 Componente
 Código
 Ventajas y desventajas de soluciones con circuitos lógicos

1.2.1. Leyes de la Lógica - Algebra de Boole


̿⇔A
A Ley de involución o de doble negación
̅̅̅̅̅̅
A⋅B⇔A ̅+B
̅ Ley de De Morgan
̅̅̅̅̅̅̅
A+B⇔A ̅⋅B
̅ Ley de De Morgan

8
www.groupbytes.com Ing. Beymar Jiménez Ruíz
̅̅̅̅̅̅̅̅
A→B⇔A⋅B ̅
̅̅̅̅̅̅̅̅
A↔B⇔A⊕B

A ⋅ B ⇔ ̅̅̅̅̅̅̅̅
A→B ̅
̅→B
A+B⇔A
̅+B
A→B⇔A
̅⋅ B
A ↔ B ⇔ [(A ⋅ B) + (A ̅)]

A ⋅ (A + B) ⇔ A
A + (A ⋅ B) ⇔ A
A⋅A⇔A
A+A⇔A
̅⇔0
A⋅A
̅⇔1
A+A
A+0⇔A

9
www.groupbytes.com Ing. Beymar Jiménez Ruíz
A+1⇔1
A⋅0⇔0
A⋅1⇔A
[(A ⋅ B) ⋅ C] ⇔ [A ⋅ (B ⋅ C)]
[(A + B) + C] ⇔ [A + (B + C)]
[A ⋅ (B ∨ C)] ⇔ [(A ⋅ B) ∨ (A ⋅ C)]
[A + (B ⋅ C)] ⇔ [(A + B) ⋅ (A + C)]
̅ + B) ⇔ AB
A ⋅ (A
̅B) ⇔ A + B
A + (A
A ⋅ (A + B) ⇔ AB
A + (AB) ⇔ A
(A + B) ⋅ (A + C) ⇔ A + BC

1.2.2. Leyes de Equivalencia de Circuitos Lógicos


10
www.groupbytes.com Ing. Beymar Jiménez Ruíz
 NAND
̅̅̅̅̅̅
A⋅B⇔A ̅+B
̅

 NOR
̅̅̅̅̅̅̅
A+B⇔A ̅⋅B
̅

 XOR
̅ ⋅ B)
̅) + (A
A⨁B ⇔ (A ⋅ B
̅+B
A⨁B ⇔ (A + B) ∙ (A ̅)

A⨁B ⇔ ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
(A → B) → ̅̅̅̅̅̅̅̅̅̅̅
(B → A)
 XNOR
̅̅̅̅̅̅̅ ̅⋅B
A⨁B ⇔ A ⋅ B + A ̅

1.2.3. Compuertas Lógicas de Equivalencia de


Circuitos Lógicos
11
www.groupbytes.com Ing. Beymar Jiménez Ruíz
12
www.groupbytes.com Ing. Beymar Jiménez Ruíz
13
www.groupbytes.com Ing. Beymar Jiménez Ruíz
1.2.4. Diseño de Circuitos
 Metodología de desarrollo de soluciones basado en circuitos
lógicos
 Identificación del problema
 Análisis Externo e Interno del Ámbito del Problema
 Captura de requerimientos
 Análisis de requerimientos
 Diseño de la propuesta
 Simulación CAD de la propuesta o solución
 Socialización de la solución
 Prototipado de la solución
 Prueba del prototipo
 Mejora del prototipo
 Implementación del producto final
 Entrega del producto final
 Soporte post-entrega

14
www.groupbytes.com Ing. Beymar Jiménez Ruíz
1.2.5. Diseño de Circuitos Utilizando Leyes Lógicas
Ejemplo:
Automatizar un sistema de un tanque de agua de manera que sea
posible operarlo de forma manual y automática.
Se debe contemplar las siguientes funciones para el sistema:
1. Llenar el tanque de agua de forma manual y automática
2. Enviar un mensaje SMS cuando:
2.1. El tanque esté a un tercio de su capacidad
2.2. El tanque se haya llenado
2.3. Exista fuga o rebalse de agua
3. Activar la alarma sonora cuando:
3.1. El tanque esté vacío
3.2. Haya rebalse o fuga de agua
4. Apagar la alarma sonora de forma manual y automática

15
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Solución:
Modelar gráficamente el sistema

16
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Identificar las funciones del sistema
SP = Sensor PIR
SR = Sensor de Rebalse
MSMS = Módulo SMS
f1 = Encender la bomba manualmente (operador)
f2 = Encender la bomba automáticamente (SP)
f3 = Apagar la bomba manualmente (operador)
f4 = Apagar la bomba automáticamente (SP)
f5 = Activar la alarma sonora (SP, SR)
f6 = Apagar la alarma sonora manualmente (operador)
f7 = Apagar la alarma sonora automaricamente (SP, SR)
f8 = Enviar mensaje SMS "Volumen de agua 33%" (MSMS − SP)
f9 = Enviar mensaje SMS "Volumen de agua 100%" (MSMS − SP)
f10 = Enviar mensaje SMS "Fuga de agua" (MSMS − SR)

17
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Modelar el funcionamiento del sistema mediante una tabla de
verdad
A B C 𝐟𝟏 𝐟𝟐 𝐟𝟑 𝐟𝟒 𝐟𝟓 𝐟𝟔 𝐟𝟕 𝐟𝟖 𝐟𝟗 𝐟𝟏𝟎 Mintérminos
0 0 0 0 ̅B
m0 = A ̅C̅
1 0 0 1 1 1 1 1 ̅B
m1 = A ̅C
2 0 1 0 1 1 1 ̅ BC̅
m2 = A
3 0 1 1 1 1 1 1 ̅ BC
m3 = A
4 1 0 0 1 1 m4 = AB̅C̅
5 1 0 1 1 1 1 m5 = AB̅C
6 1 1 0 1 1 m6 = ABC̅
7 1 1 1 1 1 1 1 m7 = ABC

18
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Escribir las funciones lógicas del sistema tenemos mediante
mintérminos:
𝐟𝟏 = ABC +
𝐟𝟐 = ABC +
𝐟𝟑 = ABC +
𝐟𝟒 = ABC +
𝐟𝟓 = ABC +
𝐟𝟔 = ABC +
𝐟𝟕 = ABC +
𝐟𝟖 = ABC +
𝐟𝟗 = ABC +
𝐟𝟏𝟎 = ABC +

19
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Simplificar las funciones lógicas del sistema utilizando leyes lógicas
𝐟𝟏 = ABC +
𝐟𝟐 = ABC +
𝐟𝟑 = ABC +
𝐟𝟒 = ABC +
𝐟𝟓 = ABC +
𝐟𝟔 = ABC +
𝐟𝟕 = ABC +
𝐟𝟖 = ABC +
𝐟𝟗 = ABC +
𝐟𝟏𝟎 = ABC +
20
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Simplificar las funciones lógicas del sistema utilizando mapas de
Karnaugh

0 1 3 2
BC
00 01 11 10
A
0 0
1 1

21
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Diseñar las funciones lógicas del sistema utilizando compuertas
AND, OR y NOT

22
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Diseñar las funciones lógicas del sistema utilizando compuertas
NAND

23
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Diseñar las funciones lógicas del sistema utilizando compuertas
NOR

24
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Análisis de Fallas Utilizando el Diagrama de Pareto

25
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Modelar la funcionalidad del sistema para ser programado en
Assembler, utilizando diagrama de grafos

26
www.groupbytes.com Ing. Beymar Jiménez Ruíz
1.2.6. Diseño de Circuitos Utilizando Mapas de
Karnaugh
 El mapa de Karnaugh es una técnica que fue inventado en 1950
por Maurice Karnaugh, físico y matemático de los laboratorios
Bell.
 El mapa de Karnaugh es un diagrama que está constituido por
una disposición de filas y columnas etiquetadas por números
binarios cuyos valores se concentran en la parte media de la
matriz.
 El mapa de Karnaugh es una técnica muy utilizada para la
simplificación de funciones algebraicas booleanas, que son la
representación matemática formal de los circuitos electrónicos.

27
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Tabla de Verdad Mapa de Karnaugh
A B C 𝐟𝟏 𝐟𝟐 𝐟𝟑
0 0 0 0 1 1 0 1 3 2
1 0 0 1 1 1
2 0 1 0 1 BC
00 01 11 10
3 0 1 1 1 1 1 A
4 1 0 0 1 1
5 1 0 1 0 0 1 1
6 1 1 0 1 1 1
7 1 1 1 1 1 1 1 1 1

28
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Mapa de Karnaugh

0 1 3 2
BC
00 01 11 10
A
0 0 1 1 1
1 1 1 1 1

29
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Mapa de Karnaugh

0 1 3 2
BC
00 01 11 10
A
0 0 1 1 1
1 1 1 1

30
www.groupbytes.com Ing. Beymar Jiménez Ruíz
31
www.groupbytes.com Ing. Beymar Jiménez Ruíz
32
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Tabla de Verdad Mapa de Karnaugh
A B C D 𝐟𝟏 𝐟𝟐
0 0 0 0 0 0 1 3 2
1 0 0 0 1 1
2 0 0 1 0 1 CD
3 0 0 1 1 1 00 01 11 10
AB
4 0 1 0 0
5 0 1 0 1 1 0 00 1 1 1
6 0 1 1 0 1
7 0 1 1 1 1 1 01 1 1 1
8 1 0 0 0 1
9 1 0 0 1 3 11 1 1 1
10 1 0 1 0 1
11 1 0 1 1 1 2 10 1 1 1
12 1 1 0 0 1
13 1 1 0 1 1
14 1 1 1 0
15 1 1 1 1 1

33
www.groupbytes.com Ing. Beymar Jiménez Ruíz
Mapa de Karnaugh

0 1 3 2
CD
00 01 11 10
AB
0 00
1 01
3 11
2 10

34
www.groupbytes.com Ing. Beymar Jiménez Ruíz

S-ar putea să vă placă și