129
Motivaci´ on Compuertas l´ ogicas Circuitos ogica digital Organizaci´ on de computadoras Universidad Nacional de Quilmes http://orga.blog.unq.edu.ar orga.blog.unq.edu.ar ogica digital

Motivaci on Compuertas l ogicas Circuitos

  • Upload
    others

  • View
    8

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Logica digital

Organizacion de computadoras

Universidad Nacional de Quilmes

http://orga.blog.unq.edu.ar

orga.blog.unq.edu.ar Logica digital

Page 2: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

orga.blog.unq.edu.ar Logica digital

Page 3: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Repaso

1 Punto Flotante1 Motivacion

2 Interpretar3 Rango4 Resolucion variable5 Normalizacion (bit implıcito)6 Representar

orga.blog.unq.edu.ar Logica digital

Page 4: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Repaso

1 Punto Flotante1 Motivacion2 Interpretar

3 Rango4 Resolucion variable5 Normalizacion (bit implıcito)6 Representar

orga.blog.unq.edu.ar Logica digital

Page 5: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Repaso

1 Punto Flotante1 Motivacion2 Interpretar3 Rango

4 Resolucion variable5 Normalizacion (bit implıcito)6 Representar

orga.blog.unq.edu.ar Logica digital

Page 6: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Repaso

1 Punto Flotante1 Motivacion2 Interpretar3 Rango4 Resolucion variable

5 Normalizacion (bit implıcito)6 Representar

orga.blog.unq.edu.ar Logica digital

Page 7: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Repaso

1 Punto Flotante1 Motivacion2 Interpretar3 Rango4 Resolucion variable5 Normalizacion (bit implıcito)

6 Representar

orga.blog.unq.edu.ar Logica digital

Page 8: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Repaso

1 Punto Flotante1 Motivacion2 Interpretar3 Rango4 Resolucion variable5 Normalizacion (bit implıcito)6 Representar

orga.blog.unq.edu.ar Logica digital

Page 9: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Niveles de abstraccion

Los sistemas complejos pueden verse desde distintospuntos de vista

En particular, el funcionamiento de la computadora sepuede separar en niveles de abstraccion

orga.blog.unq.edu.ar Logica digital

Page 10: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Niveles de abstraccion

Los sistemas complejos pueden verse desde distintospuntos de vista

En particular, el funcionamiento de la computadora sepuede separar en niveles de abstraccion

orga.blog.unq.edu.ar Logica digital

Page 11: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Niveles de abstraccion

Aplicacionesde Usuario

El usuario interactua con la computadora ejecutando herramientas comoprocesadores de texto, juegos o browsers.

Lenguaje dealto nivel

LenguajeAssembly

Control

Unidadesfuncionales

Compuertas,transistores

orga.blog.unq.edu.ar Logica digital

Page 12: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Niveles de abstraccion

Aplicacionesde Usuario

Lenguaje dealto nivel

El programador entiende el lenguaje (Gobstones, Java, C) pero no losdetalles de implementacion. El compilador es el encargado corresponderel programa en el lenguaje de alto nivel con el lenguaje especıfico para laarquitectura subyacente

LenguajeAssembly

Control

Unidadesfuncionales

Compuertas,transistores

orga.blog.unq.edu.ar Logica digital

Page 13: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Niveles de abstraccion

Aplicacionesde Usuario

Lenguaje dealto nivel

LenguajeAssembly

El lenguaje assembly (Q1..Q5)tiene en cuenta los detalles de la arquitec-tura (registros, repertorio de operaciones, etc). Dado que programar enterminos de 1s y 0s es tedioso y propenso a errores, en este nivel se proveeun programa ensamblador que traduce las sentencias mnemotecnicas dellenguaje assembly al codigo maquina.

Control

Unidadesfuncionales

Compuertas,transistores orga.blog.unq.edu.ar Logica digital

Page 14: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Niveles de abstraccion

Aplicacionesde Usuario

Lenguaje dealto nivel

LenguajeAssembly

ControlSe interpretan las instrucciones maquina para producir la operacion sobrelos datos. Existen distintas formas de hacerlo:

Hardwiring Las acciones se llevan a cabo mediante un conjunto decomponentes digitales (compuertas)

Microprogramas Cada instruccion maquina se traduce en unmicroprograma, escrito en un lenguaje de un nivel aunmas bajo que se implementa con hardware (firmware).El firmware es ejecutado por un microcontrolador.

Unidadesfuncionales

Compuertas,transistores

orga.blog.unq.edu.ar Logica digital

Page 15: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Niveles de abstraccion

Aplicacionesde Usuario

Lenguaje dealto nivel

LenguajeAssembly

Control

Unidadesfuncionales

Registros, ALU, Memoria Principal

Compuertas,transistores

orga.blog.unq.edu.ar Logica digital

Page 16: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Niveles de abstraccion

Aplicacionesde Usuario

Lenguaje dealto nivel

LenguajeAssembly

Control

Unidadesfuncionales

Compuertas,transistores

Las unidades funcionales se contruyen a partir de compuertas logicas yestas a partir de transistores. Las compuertas realizan las operacioneslogicas fundamentales.

orga.blog.unq.edu.ar Logica digital

Page 17: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Niveles de abstraccion

Como resultado de esta separacion de niveles, es posible tener un conjuntode maquinas que difieran en la implementacion a bajo nivel, pero quetengan el mismo set de instrucciones o superset. Ası IBM 360 fue laprimera familia de computadoras que garantizo compatibilidad “haciaadelante”

orga.blog.unq.edu.ar Logica digital

Page 18: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

¿Que son las compuertas?

orga.blog.unq.edu.ar Logica digital

Page 19: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Compuertas logicas

Compuerta logicaes un dispositivo que implementa una funcion booleana simple. Traduceun conjunto de entradas (una o mas) en una salida

orga.blog.unq.edu.ar Logica digital

Page 20: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Compuertas logicas

A

BA^B

A B A∧B

0 0 00 1 01 0 01 1 1

Casos:

0

00 0

10

1

00 1

11

orga.blog.unq.edu.ar Logica digital

Page 21: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Compuertas logicas

A

BA^B

A B A∧B

0 0 00 1 01 0 01 1 1

Casos:

0

00 0

10

1

00 1

11

orga.blog.unq.edu.ar Logica digital

Page 22: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Compuertas logicas

A

BA Bv

A B A∨B

0 0 00 1 11 0 11 1 1

Casos:

0

00 0

11

1

01 1

11

orga.blog.unq.edu.ar Logica digital

Page 23: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Compuertas logicas

A

BA Bv

A B A∨B

0 0 00 1 11 0 11 1 1

Casos:

0

00 0

11

1

01 1

11

orga.blog.unq.edu.ar Logica digital

Page 24: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Compuertas logicas

A A_

A A

0 11 0

Casos:

0 1

1 0

orga.blog.unq.edu.ar Logica digital

Page 25: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Compuertas logicas

A A_

A A

0 11 0

Casos:

0 1

1 0

orga.blog.unq.edu.ar Logica digital

Page 26: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

Circuitos

Compuertas logicas

1 Compuerta NAND

a ↑ b = a∧b

2 Compuerta NOR

a ↓ b = a∨b

3 Compuerta XOR

a⊕ b = (a∧b)∨(a∧b)orga.blog.unq.edu.ar Logica digital

Page 27: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

¿Que son los circuitos?

orga.blog.unq.edu.ar Logica digital

Page 28: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Compuertas y circuitos logicos

Circuito logico

Composicion de compuertas

Traduce un conjunto de entradas en un conjunto de salidas deacuerdo a una o mas funciones booleanas

Cada salida es estrictamente una funcion de las entradas

Las salidas se actualizan de inmediato luego de que cambien lasentradas

orga.blog.unq.edu.ar Logica digital

Page 29: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos logicos

Ejemplo: ¿Como es el circuito de A∧B∨C?

A

B

C

S?

orga.blog.unq.edu.ar Logica digital

Page 30: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos logicos

Ejemplo: ¿Como es el circuito de A∧B∨C?

A

B

CS

A^B

A B Cvv

orga.blog.unq.edu.ar Logica digital

Page 31: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos logicos

Ejercicio: ¿Como es el circuito de (A∧B)?

A

B

S?

orga.blog.unq.edu.ar Logica digital

Page 32: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos logicos

Ejercicio: ¿Como es el circuito de (A∧B)∨(A∧B)?

A

B

S?

orga.blog.unq.edu.ar Logica digital

Page 33: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos logicos

Los circuitos se construyen a partir de...

a Una tabla de verdad

b Un enunciado en lenguaje natural

c Una formula

orga.blog.unq.edu.ar Logica digital

Page 34: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos logicos

Los circuitos se construyen a partir de...

a Una tabla de verdad formula

b Un enunciado en lenguaje natural

c Una formula

orga.blog.unq.edu.ar Logica digital

Page 35: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos logicos

Los circuitos se construyen a partir de...

a Una tabla de verdad formula

b Un enunciado en lenguaje natural tabla formula

c Una formula

orga.blog.unq.edu.ar Logica digital

Page 36: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos logicos

Los circuitos se construyen a partir de...

a Una tabla de verdad formula

b Un enunciado en lenguaje natural tabla formula

c Una formula

orga.blog.unq.edu.ar Logica digital

Page 37: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Hagamos un cirucito

orga.blog.unq.edu.ar Logica digital

Page 38: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

Realizar un circuito de 3 entradas que calcule la funcion mayorıa:

si dos o mas entradas valen 1: se obtiene un 1

caso contrario: se obtiene un 0

A

B

C

S?

orga.blog.unq.edu.ar Logica digital

Page 39: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

Realizar un circuito de 3 entradas que calcule la funcion mayorıa:

si dos o mas entradas valen 1: se obtiene un 1

caso contrario: se obtiene un 0

A

B

C

S?

orga.blog.unq.edu.ar Logica digital

Page 40: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

1

0

0

0Mayoria

orga.blog.unq.edu.ar Logica digital

Page 41: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

1

0

1

1Mayoria

orga.blog.unq.edu.ar Logica digital

Page 42: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

Lenguaje natural Tabla de verdad Formula booleana

Realizar un circuito de 3 entradasque calcule la funcion mayorıa:

si dos o mas entradas valen 1:se obtiene un 1

caso contrario: se obtiene un 0

E1 E2 E3 S

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

orga.blog.unq.edu.ar Logica digital

Page 43: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

Lenguaje natural Tabla de verdad Formula booleana

Realizar un circuito de 3 entradasque calcule la funcion mayorıa:

si dos o mas entradas valen 1:se obtiene un 1

caso contrario: se obtiene un 0

E1 E2 E3 S

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

orga.blog.unq.edu.ar Logica digital

Page 44: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

Lenguaje natural Tabla de verdad Formula booleana

1 Construir la tabla de verdad

2 Plantear la formula que describecada caso donde la salida vale 1

3 Unir los casos con disyuncion

orga.blog.unq.edu.ar Logica digital

Page 45: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

Lenguaje natural Tabla de verdad Formula booleana

1 Construir la tabla de verdad

2 Plantear la formula que describecada caso donde la salida vale 1

3 Unir los casos con disyuncion

E1 E2 E3 S

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

orga.blog.unq.edu.ar Logica digital

Page 46: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

Lenguaje natural Tabla de verdad Formula booleana

1 Construir la tabla de verdad

2 Plantear la formula que describecada caso donde la salida vale 1

3 Unir los casos con disyuncion

E1 E2 E3 S

0 0 0 00 0 1 00 1 0 0

0 1 1 1 (E∧1 E∧

2 E3)1 0 0 01 0 1 11 1 0 11 1 1 1

orga.blog.unq.edu.ar Logica digital

Page 47: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

Lenguaje natural Tabla de verdad Formula booleana

1 Construir la tabla de verdad

2 Plantear la formula que describecada caso donde la salida vale 1

3 Unir los casos con disyuncion

E1 E2 E3 S

0 0 0 00 0 1 00 1 0 00 1 1 11 0 0 0

1 0 1 1 (E∧1 E

∧2 E3)

1 1 0 11 1 1 1

orga.blog.unq.edu.ar Logica digital

Page 48: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

Lenguaje natural Tabla de verdad Formula booleana

1 Construir la tabla de verdad

2 Plantear la formula que describecada caso donde la salida vale 1

3 Unir los casos con disyuncion

E1 E2 E3 S

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

1 1 0 1 (E∧1 E∧

2 E 3)1 1 1 1

orga.blog.unq.edu.ar Logica digital

Page 49: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

Lenguaje natural Tabla de verdad Formula booleana

1 Construir la tabla de verdad

2 Plantear la formula que describecada caso donde la salida vale 1

3 Unir los casos con disyuncion

E1 E2 E3 S

0 0 0 00 0 1 00 1 0 00 1 1 11 0 0 01 0 1 11 1 0 11 1 1 1 (E∧

1 E∧2 E3)

orga.blog.unq.edu.ar Logica digital

Page 50: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

Lenguaje natural Tabla de verdad Formula booleana

1 Construir la tabla de verdad

2 Plantear la formula que describecada caso donde la salida vale 1

3 Unir los casos con disyuncion

E1 E2 E3 S

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

s = (E∧1 E∧

2 E3)∨(E∧1 E

∧2 E3)∨(E∧

1 E∧2 E 3)∨(E∧

1 E∧2 E3)

orga.blog.unq.edu.ar Logica digital

Page 51: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

Lenguaje natural Tabla de verdad Formula booleana

1 Construir la tabla de verdad

2 Plantear la formula que describecada caso donde la salida vale 1

3 Unir los casos con disyuncion

E1 E2 E3 S

0 0 0 00 0 1 00 1 0 0

0 1 1 1 (E∧1 E∧

2 E3)1 0 0 0

1 0 1 1 (E∧1 E

∧2 E3)

1 1 0 1 (E∧1 E∧

2 E 3)1 1 1 1 (E∧

1 E∧2 E3)

s = (E∧1 E∧

2 E3)∨(E∧1 E

∧2 E3)∨(E∧

1 E∧2 E 3)∨(E∧

1 E∧2 E3)

Suma de Productosorga.blog.unq.edu.ar Logica digital

Page 52: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Suma de Productos

Obtener la Suma de Productos

s = ∨∨

∨∨

SOP(Suma de productos) Formulabooleana compuesta pordisyunciones (∨) entre terminosque son conjunciones (∧) deliterales (a o a)

orga.blog.unq.edu.ar Logica digital

Page 53: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Suma de Productos

Obtener la Suma de Productos

s = (E∧1 E∧

2 E3)∨(E∧1 E

∧2 E3)∨

∨(E∧1 E∧

2 E 3)∨(E∧1 E∧

2 E3)

SOP(Suma de productos) Formulabooleana compuesta pordisyunciones (∨) entre terminosque son conjunciones (∧) deliterales (a o a)

orga.blog.unq.edu.ar Logica digital

Page 54: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Suma de Productos

Obtener la Suma de Productos

s =(E

∧1 E∧

2 E3)

termino

∨(E∧

1 E∧2 E3)

termino

∨ (E∧1 E∧

2 E 3)

termino

∨(E∧

1 E∧2 E3)

termino

SOP(Suma de productos) Formulabooleana compuesta pordisyunciones (∨) entre terminosque son conjunciones (∧) deliterales (a o a)

orga.blog.unq.edu.ar Logica digital

Page 55: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

¿Es posible simplificar?

s = (E∧1 E∧

2 E3)∨(E∧1 E

∧2 E3)∨(E∧

1 E∧2 E 3)∨(E∧

1 E∧2 E3) =

Por propiedad distributiva:

= ((E∧1 E2)∨(E∧

1 E 2))∧E3∨(E∧

1 E2)∧(E∨3 E 3)

Por complemento en ∨:

= ((E∧1 E2)∨(E∧

1 E 2))∧E3∨(E∧

1 E2)∧1

Por neutro de ∧:

= ((E∧1 E2)∨(E∧

1 E 2))∧E3∨(E∧

1 E2)

Por definicion de ⊕:

= (E1 ⊕ E2)∧E3∨(E∧

1 E2)

orga.blog.unq.edu.ar Logica digital

Page 56: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

¿Es posible simplificar?

s = (E∧1 E∧

2 E3)∨(E∧1 E

∧2 E3)∨(E∧

1 E∧2 E 3)∨(E∧

1 E∧2 E3) =

Por propiedad distributiva:

= ((E∧1 E2)∨(E∧

1 E 2))∧E3∨(E∧

1 E2)∧(E∨3 E 3)

Por complemento en ∨:

= ((E∧1 E2)∨(E∧

1 E 2))∧E3∨(E∧

1 E2)∧1

Por neutro de ∧:

= ((E∧1 E2)∨(E∧

1 E 2))∧E3∨(E∧

1 E2)

Por definicion de ⊕:

= (E1 ⊕ E2)∧E3∨(E∧

1 E2)

orga.blog.unq.edu.ar Logica digital

Page 57: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

¿Es posible simplificar?

s = (E∧1 E∧

2 E3)∨(E∧1 E

∧2 E3)∨(E∧

1 E∧2 E 3)∨(E∧

1 E∧2 E3) =

Por propiedad distributiva:

= ((E∧1 E2)∨(E∧

1 E 2))∧E3∨(E∧

1 E2)∧(E∨3 E 3)

Por complemento en ∨:

= ((E∧1 E2)∨(E∧

1 E 2))∧E3∨(E∧

1 E2)∧1

Por neutro de ∧:

= ((E∧1 E2)∨(E∧

1 E 2))∧E3∨(E∧

1 E2)

Por definicion de ⊕:

= (E1 ⊕ E2)∧E3∨(E∧

1 E2)

orga.blog.unq.edu.ar Logica digital

Page 58: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

¿Es posible simplificar?

s = (E∧1 E∧

2 E3)∨(E∧1 E

∧2 E3)∨(E∧

1 E∧2 E 3)∨(E∧

1 E∧2 E3) =

Por propiedad distributiva:

= ((E∧1 E2)∨(E∧

1 E 2))∧E3∨(E∧

1 E2)∧(E∨3 E 3)

Por complemento en ∨:

= ((E∧1 E2)∨(E∧

1 E 2))∧E3∨(E∧

1 E2)∧1

Por neutro de ∧:

= ((E∧1 E2)∨(E∧

1 E 2))∧E3∨(E∧

1 E2)

Por definicion de ⊕:

= (E1 ⊕ E2)∧E3∨(E∧

1 E2)

orga.blog.unq.edu.ar Logica digital

Page 59: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

¿Es posible simplificar?

s = (E∧1 E∧

2 E3)∨(E∧1 E

∧2 E3)∨(E∧

1 E∧2 E 3)∨(E∧

1 E∧2 E3) =

Por propiedad distributiva:

= ((E∧1 E2)∨(E∧

1 E 2))∧E3∨(E∧

1 E2)∧(E∨3 E 3)

Por complemento en ∨:

= ((E∧1 E2)∨(E∧

1 E 2))∧E3∨(E∧

1 E2)∧1

Por neutro de ∧:

= ((E∧1 E2)∨(E∧

1 E 2))∧E3∨(E∧

1 E2)

Por definicion de ⊕:

= (E1 ⊕ E2)∧E3∨(E∧

1 E2)

orga.blog.unq.edu.ar Logica digital

Page 60: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

(E1 ⊕ E2)∧E3∨(E∧

1 E2)

E1

E2

E3

S

Mayoria

orga.blog.unq.edu.ar Logica digital

Page 61: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Ejemplo de construccion de un circuito

(E1 ⊕ E2)∧E3∨(E∧

1 E2)

E1

E2

E3

S

Mayoria

orga.blog.unq.edu.ar Logica digital

Page 62: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos mas usados

orga.blog.unq.edu.ar Logica digital

Page 63: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

Objetivo Proyectar una de las entradas en la salida, a partir laconfiguracion del control

Entradas 2 entradas, una lınea de control

Salida 1 salida

E1

2E

C

SMux

orga.blog.unq.edu.ar Logica digital

Page 64: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple: La idea

Mux

orga.blog.unq.edu.ar Logica digital

Page 65: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple: La idea

Mux

orga.blog.unq.edu.ar Logica digital

Page 66: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

Lenguaje natural Tabla de verdad Formula booleana

Tabla abreviada:

C S

0 e1

1 e2

Tabla de verdad:

C E1 E2 S

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

orga.blog.unq.edu.ar Logica digital

Page 67: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

Lenguaje natural Tabla de verdad

Tabla abreviada:

C S

0 e1

1 e2

Tabla de verdad:

C E1 E2 S

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

orga.blog.unq.edu.ar Logica digital

Page 68: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

Lenguaje natural Tabla de verdad

Tabla abreviada:

C S

0 e1

1 e2

Tabla de verdad:

C E1 E2 S

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

orga.blog.unq.edu.ar Logica digital

Page 69: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

Lenguaje natural Tabla de verdad Formula booleana

C E1 E2 S

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

orga.blog.unq.edu.ar Logica digital

Page 70: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

Tabla de verdad Formula booleana

C E1 E2 S

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

orga.blog.unq.edu.ar Logica digital

Page 71: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

Tabla de verdad Formula booleana

C E1 E2 S

0 0 0 00 0 1 0

0 1 0 1 (C∧

E∧1 E 2)

0 1 1 11 0 0 01 0 1 11 1 0 01 1 1 1

orga.blog.unq.edu.ar Logica digital

Page 72: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

Tabla de verdad Formula booleana

C E1 E2 S

0 0 0 00 0 1 00 1 0 1

0 1 1 1 (C∧

E∧1 E2)

1 0 0 01 0 1 11 1 0 01 1 1 1

orga.blog.unq.edu.ar Logica digital

Page 73: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

Tabla de verdad Formula booleana

C E1 E2 S

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

1 0 1 1 (C∧E∧1 E2)

1 1 0 01 1 1 1

orga.blog.unq.edu.ar Logica digital

Page 74: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

Tabla de verdad Formula booleana

C E1 E2 S

0 0 0 00 0 1 00 1 0 10 1 1 11 0 0 01 0 1 11 1 0 01 1 1 1 (C∧E∧

1 E2)

orga.blog.unq.edu.ar Logica digital

Page 75: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

Tabla de verdad Formula booleana

C E1 E2 S

0 0 0 00 0 1 0

0 1 0 1 (C∧

E∧1 E 2)

0 1 1 1 (C∧

E∧1 E2)

1 0 0 0

1 0 1 1 (C∧E∧1 E2)

1 1 0 01 1 1 1 (C∧E∧

1 E2)

s = (C∧

E∧1 E 2)∨(C

∧E∧

1 E2)∨

∨(C∧E∧1 E2)∨(C∧E∧

1 E2)

orga.blog.unq.edu.ar Logica digital

Page 76: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

¡Simplificar!

s = (C∧

E∧1 E 2)∨(C

∧E∧

1 E2)∨(C∧E∧1 E2)∨(C∧E∧

1 E2)

Por distributiva:

(C∧

E1)∧(E∨2 E2)∨(C∧E

∧1 E2)∨(C∧E∧

1 E2)

Por distributiva:

(C∧

E1)∧(E∨2 E2)∨(C∧E2)∧(E

∨1 E1)

Por complemento de la ∨:

(C∧

E1)∧1∨(C∧E2)∧1

Por neutro de la ∧:(C

∧E1)∨(C∧E2)

orga.blog.unq.edu.ar Logica digital

Page 77: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

¡Simplificar!

s = (C∧

E∧1 E 2)∨(C

∧E∧

1 E2)∨(C∧E∧1 E2)∨(C∧E∧

1 E2)

Por distributiva:

(C∧

E1)∧(E∨2 E2)∨(C∧E

∧1 E2)∨(C∧E∧

1 E2)

Por distributiva:

(C∧

E1)∧(E∨2 E2)∨(C∧E2)∧(E

∨1 E1)

Por complemento de la ∨:

(C∧

E1)∧1∨(C∧E2)∧1

Por neutro de la ∧:(C

∧E1)∨(C∧E2)

orga.blog.unq.edu.ar Logica digital

Page 78: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

¡Simplificar!

s = (C∧

E∧1 E 2)∨(C

∧E∧

1 E2)∨(C∧E∧1 E2)∨(C∧E∧

1 E2)

Por distributiva:

(C∧

E1)∧(E∨2 E2)∨(C∧E

∧1 E2)∨(C∧E∧

1 E2)

Por distributiva:

(C∧

E1)∧(E∨2 E2)∨(C∧E2)∧(E

∨1 E1)

Por complemento de la ∨:

(C∧

E1)∧1∨(C∧E2)∧1

Por neutro de la ∧:(C

∧E1)∨(C∧E2)

orga.blog.unq.edu.ar Logica digital

Page 79: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

¡Simplificar!

s = (C∧

E∧1 E 2)∨(C

∧E∧

1 E2)∨(C∧E∧1 E2)∨(C∧E∧

1 E2)

Por distributiva:

(C∧

E1)∧(E∨2 E2)∨(C∧E

∧1 E2)∨(C∧E∧

1 E2)

Por distributiva:

(C∧

E1)∧(E∨2 E2)∨(C∧E2)∧(E

∨1 E1)

Por complemento de la ∨:

(C∧

E1)∧1∨(C∧E2)∧1

Por neutro de la ∧:(C

∧E1)∨(C∧E2)

orga.blog.unq.edu.ar Logica digital

Page 80: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

¡Simplificar!

s = (C∧

E∧1 E 2)∨(C

∧E∧

1 E2)∨(C∧E∧1 E2)∨(C∧E∧

1 E2)

Por distributiva:

(C∧

E1)∧(E∨2 E2)∨(C∧E

∧1 E2)∨(C∧E∧

1 E2)

Por distributiva:

(C∧

E1)∧(E∨2 E2)∨(C∧E2)∧(E

∨1 E1)

Por complemento de la ∨:

(C∧

E1)∧1∨(C∧E2)∧1

Por neutro de la ∧:(C

∧E1)∨(C∧E2)

orga.blog.unq.edu.ar Logica digital

Page 81: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

(C∧

E1)∨(C∧E2)

C

E1

E2

S

MUX

orga.blog.unq.edu.ar Logica digital

Page 82: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor simple

(C∧

E1)∨(C∧E2)

C

E1

E2

S

MUX

orga.blog.unq.edu.ar Logica digital

Page 83: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor complejo

Objetivo Proyectar una de las entradas en la salida, a partir laconfiguracion del control

Entradas 4 entradas

Salida 1 salida

E1

2E SMux

C1 C2

E3

4E

orga.blog.unq.edu.ar Logica digital

Page 84: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor complejo

Tabla abreviada:C1 C2 S

0 0 e1

0 1 e2

1 0 e3

1 1 e4

Tabla de verdad:C1 C2 E1 E2 E3 E4 S

0 0 0 0 0 0 0

¡Completar de Tarea!

orga.blog.unq.edu.ar Logica digital

Page 85: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Multiplexor complejo

Tabla abreviada:C1 C2 S

0 0 e1

0 1 e2

1 0 e3

1 1 e4

Tabla de verdad:C1 C2 E1 E2 E3 E4 S

0 0 0 0 0 0 0

¡Completar de Tarea!

orga.blog.unq.edu.ar Logica digital

Page 86: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Decodificador

Objetivo Traduce un codigo de 2 bits en uno de 4 valores

Entrada 2 bits de la cadena de entrada (2 entradas)

Salida 4 lıneas de salida

E1

2E DecoSS

SS

1

2

3

4

orga.blog.unq.edu.ar Logica digital

Page 87: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Decodificador

Tabla de verdad:

E1 E2 S1 S2 S3 S4

0 0 1 0 0 00 1 0 1 0 01 0 0 0 1 01 1 0 0 0 1

orga.blog.unq.edu.ar Logica digital

Page 88: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Decodificador

Tabla de verdad:

E1 E2 S1 S2 S3 S4

0 0 1 0 0 00 1 0 1 0 01 0 0 0 1 01 1 0 0 0 1

orga.blog.unq.edu.ar Logica digital

Page 89: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Demultiplexor

Objetivo Permite configurar por que salida se proyecta la entrada.

Entrada 1 lınea de entrada, y dos lıneas de control

Salida 4 lıneas de salida

E

DeMuxSS

SS

1

2

3

4

C1 C2

orga.blog.unq.edu.ar Logica digital

Page 90: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Demultiplexor

Tabla de verdad:

E C1 C2 S1 S2 S3 S4

0 0 0 0 0 0 00 0 1 0 0 0 00 1 0 0 0 0 00 1 1 0 0 0 01 0 0 1 0 0 01 0 1 0 1 0 01 1 0 0 0 1 01 1 1 0 0 0 1

¿Como se contruye el circuito?

orga.blog.unq.edu.ar Logica digital

Page 91: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Demultiplexor

Tabla de verdad:

E C1 C2 S1 S2 S3 S4

0 0 0 0 0 0 00 0 1 0 0 0 00 1 0 0 0 0 00 1 1 0 0 0 01 0 0 1 0 0 01 0 1 0 1 0 01 1 0 0 0 1 01 1 1 0 0 0 1

¿Como se contruye el circuito?

orga.blog.unq.edu.ar Logica digital

Page 92: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Demultiplexor

Tabla de verdad:

E C1 C2 S1 S2 S3 S4

0 0 0 0 0 0 00 0 1 0 0 0 00 1 0 0 0 0 00 1 1 0 0 0 01 0 0 1 0 0 01 0 1 0 1 0 01 1 0 0 0 1 01 1 1 0 0 0 1

¿Como se contruye el circuito?

orga.blog.unq.edu.ar Logica digital

Page 93: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos

orga.blog.unq.edu.ar Logica digital

Page 94: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos

La ALU se puede implementar mediante Hardwiring

Cada operacion aritmetica podrıa resolverse con un circuito

orga.blog.unq.edu.ar Logica digital

Page 95: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Half adder

Objetivo Suma 2 bits

Entradas Los bits a sumar

Salida El bit resultado y el bit de carry

A

B

R

Half Adder C

orga.blog.unq.edu.ar Logica digital

Page 96: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Half adder

Tabla de verdad del Half adder

A B R C

0 0 0 0

0 1 1 0

1 0 1 0

1 1 0 1

orga.blog.unq.edu.ar Logica digital

Page 97: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Half adder

Tabla de verdad del Half adder

A B R C

0 0 0 0

0 1 1 0

1 0 1 0

1 1 0 1

0

0

0

+

orga.blog.unq.edu.ar Logica digital

Page 98: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Half adder

Tabla de verdad del Half adder

A B R C

0 0 0 0

0 1 1 0

1 0 1 0

1 1 0 1

1

0

1

+

orga.blog.unq.edu.ar Logica digital

Page 99: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Half adder

Tabla de verdad del Half adder

A B R C

0 0 0 0

0 1 1 0

1 0 1 0

1 1 0 1

0

1

1

+

orga.blog.unq.edu.ar Logica digital

Page 100: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Half adder

Tabla de verdad del Half adder

A B R C

0 0 0 0

0 1 1 0

1 0 1 0

1 1 0 1

110

+ "me llevo 1"

orga.blog.unq.edu.ar Logica digital

Page 101: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Half adder

Formula del Half adder

Formula para el resultado:A B R C

0 0 0 0

0 1 1 0

1 0 1 0

1 1 0 1

R = (A∧

B)∨(A∧B)

Formula para el carry:A B R C

0 0 0 0

0 1 1 0

1 0 1 0

1 1 0 1

C = (A∧B)

orga.blog.unq.edu.ar Logica digital

Page 102: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Half adder

Formula del Half adder

Formula para el resultado:A B R C

0 0 0 0

0 1 1 A∧

B 0

1 0 1 A∧B 0

1 1 0 1

R = (A∧

B)∨(A∧B)

Formula para el carry:A B R C

0 0 0 0

0 1 1 0

1 0 1 0

1 1 0 1

C = (A∧B)

orga.blog.unq.edu.ar Logica digital

Page 103: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Half adder

Formula del Half adder

Formula para el resultado:A B R C

0 0 0 0

0 1 1 0

1 0 1 0

1 1 0 1

R = (A∧

B)∨(A∧B)

Formula para el carry:A B R C

0 0 0 0

0 1 1 0

1 0 1 0

1 1 0 1

C = (A∧B)

orga.blog.unq.edu.ar Logica digital

Page 104: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Half adder

Formula del Half adder

Formula para el resultado:A B R C

0 0 0 0

0 1 1 0

1 0 1 0

1 1 0 1

R = (A∧

B)∨(A∧B)

Formula para el carry:A B R C

0 0 0 0

0 1 1 0

1 0 1 0

1 1 0 1 A∧B

C = (A∧B)

orga.blog.unq.edu.ar Logica digital

Page 105: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Half adder

Formula del Half adder

Formula para el resultado:A B R C

0 0 0 0

0 1 1 0

1 0 1 0

1 1 0 1

R = (A∧

B)∨(A∧B)

Formula para el carry:A B R C

0 0 0 0

0 1 1 0

1 0 1 0

1 1 0 1

C = (A∧B)

orga.blog.unq.edu.ar Logica digital

Page 106: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Full Adder

Objetivo Suma 2 bits, considerando el carry anterior

Entradas Los bits a sumar, carry anterior

Salida El bit resultado y el bit de carry

A

BR

Full Adder CCAnt

orga.blog.unq.edu.ar Logica digital

Page 107: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Full Adder

Tabla de verdad del Full adder

CAnt A B R C

0 0 0 0 0

0 0 1 1 0

0 1 0 1 0

0 1 1 0 1

1 0 0 1 0

1 0 1 0 1

1 1 0 0 1

1 1 1 1 1

orga.blog.unq.edu.ar Logica digital

Page 108: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Full Adder

Tabla de verdad del Full adderCAnt A B R C

0 0 0 0 0

0 0 1 1 0

0 1 0 1 0

0 1 1 0 1

1 0 0 1 0

1 0 1 0 1

1 1 0 0 1

1 1 1 1 1

0

0

0

+

C anterior=0

C=0

1

0

1

+

C anterior=0

C=0

0

1

1

+

C anterior=0

C=0

1

1

0

+

C anterior=0

C=1

orga.blog.unq.edu.ar Logica digital

Page 109: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Full Adder

Tabla de verdad del Full adderCAnt A B R C

0 0 0 0 0

0 0 1 1 0

0 1 0 1 0

0 1 1 0 1

1 0 0 1 0

1 0 1 0 1

1 1 0 0 1

1 1 1 1 1

0

0

0

+

C anterior=0

C=0

1

0

1

+

C anterior=0

C=0

0

1

1

+

C anterior=0

C=0

1

1

0

+

C anterior=0

C=1

orga.blog.unq.edu.ar Logica digital

Page 110: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Full Adder

Tabla de verdad del Full adderCAnt A B R C

0 0 0 0 0

0 0 1 1 0

0 1 0 1 0

0 1 1 0 1

1 0 0 1 0

1 0 1 0 1

1 1 0 0 1

1 1 1 1 1

0

0

0

+

C anterior=0

C=0

1

0

1

+

C anterior=0

C=0

0

1

1

+

C anterior=0

C=0

1

1

0

+

C anterior=0

C=1

orga.blog.unq.edu.ar Logica digital

Page 111: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Full Adder

Tabla de verdad del Full adderCAnt A B R C

0 0 0 0 0

0 0 1 1 0

0 1 0 1 0

0 1 1 0 1

1 0 0 1 0

1 0 1 0 1

1 1 0 0 1

1 1 1 1 1

0

0

0

+

C anterior=0

C=0

1

0

1

+

C anterior=0

C=0

0

1

1

+

C anterior=0

C=0

1

1

0

+

C anterior=0

C=1

orga.blog.unq.edu.ar Logica digital

Page 112: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Full Adder

Tabla de verdad del Full adderCAnt A B R C

0 0 0 0 0

0 0 1 1 0

0 1 0 1 0

0 1 1 0 1

1 0 0 1 0

1 0 1 0 1

1 1 0 0 1

1 1 1 1 1

0

0

1

+ 1

0

0

+0

1

0

+1

1

1

+

C anterior=1

C=0

C anterior=1

C=1

C anterior=1

C=1

C anterior=1

C=1

orga.blog.unq.edu.ar Logica digital

Page 113: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Full Adder

Tabla de verdad del Full adderCAnt A B R C

0 0 0 0 0

0 0 1 1 0

0 1 0 1 0

0 1 1 0 1

1 0 0 1 0

1 0 1 0 1

1 1 0 0 1

1 1 1 1 1

0

0

1

+ 1

0

0

+0

1

0

+1

1

1

+

C anterior=1

C=0

C anterior=1

C=1

C anterior=1

C=1

C anterior=1

C=1

orga.blog.unq.edu.ar Logica digital

Page 114: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Full Adder

Tabla de verdad del Full adderCAnt A B R C

0 0 0 0 0

0 0 1 1 0

0 1 0 1 0

0 1 1 0 1

1 0 0 1 0

1 0 1 0 1

1 1 0 0 1

1 1 1 1 1

0

0

1

+ 1

0

0

+0

1

0

+1

1

1

+

C anterior=1

C=0

C anterior=1

C=1

C anterior=1

C=1

C anterior=1

C=1

orga.blog.unq.edu.ar Logica digital

Page 115: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Full Adder

Tabla de verdad del Full adderCAnt A B R C

0 0 0 0 0

0 0 1 1 0

0 1 0 1 0

0 1 1 0 1

1 0 0 1 0

1 0 1 0 1

1 1 0 0 1

1 1 1 1 1

0

0

1

+ 1

0

0

+0

1

0

+1

1

1

+

C anterior=1

C=0

C anterior=1

C=1

C anterior=1

C=1

C anterior=1

C=1

orga.blog.unq.edu.ar Logica digital

Page 116: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Full adder

Formulas del Full adder

Formula para el resultado:CAnt A B R C

0 0 0 0 0

0 0 1 1 0

0 1 0 1 0

0 1 1 0 1

1 0 0 1 0

1 0 1 0 1

1 1 0 0 1

1 1 1 1 1

Formula para el carry:CAnt A B R C

0 0 0 0 0

0 0 1 1 0

0 1 0 1 0

0 1 1 0 1

1 0 0 1 0

1 0 1 0 1

1 1 0 0 1

1 1 1 1 1

orga.blog.unq.edu.ar Logica digital

Page 117: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Full adder

Formulas del Full adder

Formula para el resultado:CAnt A B R C

0 0 0 0 0

0 0 1 1 CAnt∧

A∧

B 0

0 1 0 1 CAnt∧

A∧B 0

0 1 1 0 1

1 0 0 1 CAnt∧A∧

B 0

1 0 1 0 1

1 1 0 0 1

1 1 1 1 CAnt∧A∧B 1

Formula para el carry:CAnt A B R C

0 0 0 0 0

0 0 1 1 0

0 1 0 1 0

0 1 1 0 1

1 0 0 1 0

1 0 1 0 1

1 1 0 0 1

1 1 1 1 1

orga.blog.unq.edu.ar Logica digital

Page 118: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos: Full adder

Formulas del Full adder

Formula para el resultado:CAnt A B R C

0 0 0 0 0

0 0 1 1 0

0 1 0 1 0

0 1 1 0 1

1 0 0 1 0

1 0 1 0 1

1 1 0 0 1

1 1 1 1 1

Formula para el carry:CAnt A B R C

0 0 0 0 0

0 0 1 1 0

0 1 0 1 0

0 1 1 0 1 CAnt∧

A∧B

1 0 0 1 0

1 0 1 0 1 CAnt∧A∧

B

1 1 0 0 1 CAnt∧A∧B

1 1 1 1 1 CAnt∧A∧B

orga.blog.unq.edu.ar Logica digital

Page 119: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos

¿Como se suman cadenas de mas de un bit?

Usando multiples Full Adders

orga.blog.unq.edu.ar Logica digital

Page 120: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos

¿Como se suman cadenas de mas de un bit?

Usando multiples Full Adders

orga.blog.unq.edu.ar Logica digital

Page 121: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos

¿Como se suman cadenas de mas de un bit?

R1

Full Adder 2 bitsC

A1

B1

A2

B2

R2

orga.blog.unq.edu.ar Logica digital

Page 122: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos

¿Como se suman cadenas de mas de un bit?

R1

Full Adder 2 bitsC

A1

B1

A2

B2

R2

orga.blog.unq.edu.ar Logica digital

Page 123: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos

¿Como se suman cadenas de mas de un bit?

Full Adder 2 bits

R

Full Adder

R

Full Adder C

CCAnt

0

R1

C

A1

B1

A2

B2

R2

orga.blog.unq.edu.ar Logica digital

Page 124: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos:restador de un bit

Completar la tabla de verdad

A B R C

0 0 0 0

0 1 1 1

1 0 1 0

1 1 0 0

Completar las SOP

orga.blog.unq.edu.ar Logica digital

Page 125: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos:restador de un bit

Completar la tabla de verdad

A B R C

0 0 0 0

0 1 1 1

1 0 1 0

1 1 0 0

Completar las SOP

orga.blog.unq.edu.ar Logica digital

Page 126: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Circuitos aritmeticos:restador de un bit

Completar la tabla de verdad

A B R C

0 0 0 0

0 1 1 1

1 0 1 0

1 1 0 0

Completar las SOP

orga.blog.unq.edu.ar Logica digital

Page 127: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

Redondeando...

orga.blog.unq.edu.ar Logica digital

Page 128: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

1 Motivacion

2 Compuertas logicas

3 CircuitosCircuitos aritmeticos

orga.blog.unq.edu.ar Logica digital

Page 129: Motivaci on Compuertas l ogicas Circuitos

MotivacionCompuertas logicas

CircuitosCircuitos aritmeticos

¿Preguntas?

orga.blog.unq.edu.ar Logica digital