COMPUERTAS LGICAS Y LGEBRA BOOLEANA

Capitulo 3
CORREA ATOCHE MANUEL ALONSO

INTRODUCCION
La

computadoras necesitan almacenar datos e instrucciones en memoria Sistema binario (slo dos estados posibles) Por qu?

Es mucho ms sencillo identificar entre slo dos estados Es menos propenso a errores

Lgica digital
Los

circuitos operan con valores [0, 1], que pueden ser interpretados lgicamente como [Falso, Verdadero]. implementar las operaciones lgicas y matemticas combinando circuitos

Idea:

Algebra de Boole
George Boole, desarroll un sistema algebraico para formalizar la lgica proposicional. El libro se llama Anlisis matemtico de la lgica.
El sistema consiste en un clculo para resolver problemas de lgica proposicional (dos valores posibles [0, 1] George Boole y tres operaciones: AND (y) 1815-1864 OR (o) NOT (no) )

Algebra de Boole
Las variables Booleanas slo toman los valores binarios: 1 0.
Una variable Booleana representa un el balor que puede tomar un bit, que como vimos quiere decir: Binary digIT

Operadores bsicos
Un

operador booleano puede ser completamente descripto usando tablas de verdad. operador AND es conocido como producto booleano (.) y el OR como co-producto booleano (+) operador NOT ( una barra encima de la expresin) conocido como complemento.

El

El

Funciones booleanas

Tabla de verdad de esta funcin:

El NOT tiene ms precedencia que el resto de los operadores Y el AND ms que el OR

Identidades del Algebra de Boole

Identidad 1.A=A 0+A=A

Nula
Idempotencia Inversa Conmutativa Asociativa Distributiva Absorcin De Morgan

0.A=0
A.A=A A.A=0 A.B=B.A (A.B)C=A.(B.C) A+B.C=(A+B).(A+C) A.(A+B)=A (A.B) = A+B

1+A=1
A+A=A A+A=1 A+B=B+A (A+B)+C=A+(B+C) A.(B+C)=A.B+A.C A+A.B=A (A+B) = A.B

Ejemplo

Usando identidades booleanas podemos reducir esta funcin:

(X+Y)(X+Y)(X+Z) (XX + XY+YX+YY)(X+Z) (X + XY+YX + 0) (X+Z) (X + X(Y+Y)) (X+Z) (X) (X+Z) XX+XZ XZ DeMorgan Distributiva Indempotencia e Inversa Nula y Distributiva Inversa, Identidad y Nula Distributiva Inversa e Identidad

Frmulas equivalentes
Varias

frmulas pueden tener la misma tabla de verdad

Son lgicamente equivalentes

En

general se suelen elegir formas normales

Suma de productos:
F(x,y,z) = xy + xz +yz

Producto de sumas:
F(x,y,z) = (x+y) . (x+z) .(y+z)

Suma de Productos
Es fcil convertir una funcin a una suma de productos usando la tabla de verdad. Elegimos los valores que dan 1 y hacemos un producto (AND) de la fila (negando si aparece un 0) Luego sumamos todo (OR)

F(x,y,z) = (xyz)+(xyz)+(xyz)+(xyz)+(xyz)

Circuitos booleanos
Las

computadores digitales contienen circuitos que implementan funciones booleanas Cuando ms simple la funcin ms chico el circuito

Son ms baratos, consumen menos, y en ocasiones son mas rpidos!

Podemos usar las identidades del algebra de Boole para reducir estas funciones.

Compuertas lgicas

Una compuerta es un dispositivo electrnico que produce un resultado en base a un conjunto de valores de valores de entrada

En realidad, estn formadas por uno o varios transitores, pero lo podemos ver como una unidad. Los circuitos integrados contienen colecciones de compuertas conectadas con algn propsito

Compuertas Lgicas

Las ms simples: AND, OR, y NOT.

Se corresponden exactamente con las funciones booleanas que vimos

Compuertas lgicas

Una compuerta muy til: el OR exclusivo (XOR) La salida es 1 cuando los valores de entrada difieren.

Usamos el simbolo para el XOR.

Componentes digitales
Combinando

compuertas se pueden implementar funciones booleanas Este circuito implementa la siguiente funcin:

Simplificando las funciones se crean circuitos ms chicos!

Compuertas lgicas

NAND y NOR son dos compuertas muy importantes. Con la identidad de De Morgan se pueden implementar con AND u OR. Son ms baratas y ambas por s solas son un conjunto adecuado para la lgica proposicional. Es decir que cualquier operador se puede escribir usando cualquiera de ellas.

NAND y NOR

Ejercicio

Ejemplo: NOT usando NAND

Utilizando solo NAND o NOR realizar circuitos con la misma funcionalidad que el AND y OR

Circuitos combinatorios
Producen

una salida especfica (casi) al instante que se le aplican valores de entrada Implementan funciones booleanas La aritmtica y la lgica de la CPU se implementan con estos circuitos