Lgica digital
Objectivos
Comprender la relacin entre lgica booleana y los
circuitos digitales de computadora.
Aprender como se disean circuitos lgicos
simples.
Comprender como los circuitos digitales trabajan
en conjunto para formar complejos sistemas
computacionales.
Lgica digital
Introduccin
En la ltima parte del siglo XIX, George Boole llam la atencin de filsofos y
matemticos cuando sugiri que el pensamiento lgico podra ser
representado con ecuaciones matemticas.
Cmo puede alguien sugerir que el pensamiento humano puede ser encapsulado
y manipulado como una frmula algebraica?
Computers, como los conocemos hoy, son implementaciones de las Leyes del
Pensamiento de Boole.
John Atanasoff y Claude Shannon estuvieron entre los primeros en ver esta
conexin.
A mediados del siglo XX, los computadores eran conocidos como mquinas
pensantes y cerebros electrnicos.
Mucha gente les tema.
Lgica digital
Lgica digital
Algebra Booleana
Un operador booleano puede ser
descrito completamente usando
una tabla de verdad.
Las tablas de verdad para los
operadores AND y OR se
muestran a la derecha.
El operador AND se conoce
tambin como el producto
booleano. El operador OR es la
suma booleana.
Lgica digital
Algebra Booleana
La tabla de verdad para el
operador booleano NOT
aparece a la derecha.
La operacin NOT es
frecuentemente
representada por una
barra sobre la variable.
Otras veces se le indica
por una marca prima ( ) o
una ceja ().
Lgica digital
Algebra Booleana
Una funcin booleana tiene:
Lgica digital
Algebra Booleana
La tabla de verdad para la
funcin:
aparece a la izquierda.
Para facilitar la evaluacin de
la funcin booleana, la tabla
de verdad continen columnas
extra (sombreadas) que
mantienen las evaluaciones
parciales.
Lgica digital
Algebra Booleana
Al igual que con la aritmtica
comn, los operadores
booleanos tienen reglas de
precedencia.
El operador NOT tiene la
mayor prioridad, seguido por
AND y despus por OR.
Por eso se sigui orden en las
columnas sombreadas, para
evaluar las subpartes de la
funcin en la tabla.
Lgica digital
Algebra Booleana
Los computadores digitales tiene circuitos que
implementan funciones de algebra booleana.
Entre ms simple es una funcin booleana, ms pequeo
es el circuito resultante.
Los circuitos simples son ms baratos de hacer, consumen
menos potencia y son ms rpidos que los circuitos
complejos.
Lgica digital
10
Algebra Booleana
La mayora de las identidades booleanas tienen
una forma AND (producto) y una forma OR (suma).
Aqui se muestran ambas formas:
Lgica digital
11
Algebra Booleana
El segundo grupo de identidades booleanas es
semejante al algebra corriente:
Lgica digital
12
Algebra Booleana
El ltimo grupo de identidades booleanas es el ms
til.
Estas leyes tambin aparecen en teora de
conjuntos y lgica formal.
Lgica digital
13
Algebra Booleana
Podemos usar las identidades booleanas para simplificar la
funcin que sigue:
Lgica digital
14
Algebra Booleana
A veces es ms econmico construir un circuito
usando el complemento de la funcin (para
despus complementar el resultado) que
implementando la funcin directamente.
La ley de DeMorgan brinda una manera facil de
encontrar el complemento de una funcin
DeMorgan dice:
Lgica digital
15
Algebra Booleana
La ley de DeMorgan puede ser extendida a cualquier nmero
de variables.
Reemplace cada variable por su complemento y cambie
todos los AND a OR y todos los OR a AND.
Lgica digital
16
Algebra Booleana
Vemos que hay muchas maneras de presentar la
misma expresin booleana.
Estas formas sinnimas son equivalentes.
Las expresiones lgicas equivalentes tienen
identicas tablas de verdad.
Lgica digital
17
Algebra Booleana
Hay dos formas cannicas para expresiones booleanas: suma
de productos y productos de sumas.
Recuerde que el operador booleano del producto es el AND y
el de la suma es el OR.
En la forma de suma de productos, una serie de AND son
unidos por OR.
Por ejemplo:
En la forma de producto de sumas, una serie de OR son unidos
por AND.
Por ejemplo:
Lgica digital
18
Algebra Booleana
It is easy to convert a function
to sum-of-products form using
its truth table.
We are interested in the values
of the variables that make the
function true (=1).
Using the truth table, we list
the values of the variables that
result in a true function value.
Each group of variables is then
ORed together.
Lgica digital
19
Algebra Booleana
The sum-of-products form
for our function is:
Lgica digital
20
Puertas lgicas
Lgica digital
21
Voltaje invertido de
la entrada
Voltage de
entrada
Puertas lgicas
Dependiendo de los
valores de A y B la salida
C est conectada a la
potencia o a tierra por lo
que tiene un valor lgico 1
0.
Es simplemente un
NAND con un inversor.
Lgica digital
22
Puertas lgicas
74LS08
Quad 2-input AND
Lgica digital
23
Puertas lgicas
74LS02
Quad 2-input NOR
Lgica digital
24
Puertas lgicas
Lgica digital
25
Componentes digitales
26
Circuitos combinacionales
Lgica digital
27
Circuitos
combinacionales
Podemos convertir un
semisumador en un sumador (full
adder) incluyendo compuertas
que procesen el bit de acarreo.
La tabla de verdad del sumador
se muestra a la derecha.
HALF ADDER
FULL ADDER
Lgica digital
28
Circuitos combinacionales
Asi como combinamos semisumadores para
construir un sumador, estos se pueden conectar
en serie.
El bit de acarreo se pasa de un sumador al
siguiente. Esta configuracin se llama ripple-carry
adder.
Este es un sumador de
4-bits.
Lgica digital
74LS283
29
Circuitos combinacionales
Si x = 0 e y = 1,
qu linea de
salida estar
habilitada?
Lgica digital
30
Circuitos combinacionales
Lgica digital
31
Circuitos combinacionales
74LS42
Decodificador 1 a 10
Lgica digital
32
Circuitos combinacionales
Un multiplexor hace lo
opuesto a un decodificador.
Selecciona una nica salida
de mltiples input.
El input elegido se determina
por los valores de las lineas
de control.
Para poder elegir entre n
entradas se requiere de log2n
lineas de control.
Un diagrama
de bloques de
un
multiplexor
Lgica digital
33
Circuitos combinacionales
Asi es como luce un multiplexador 4-to-1.
Si S0 = 1 y S1 = 0,
qu entrada se
transfiere a la
salida?
Lgica digital
34
Circuitos combinacionales
Lgica digital
35
Circuitos combinacionales
Este shifter
desplaza bits hacia
la izquierda o
derecha.
Si S = 0, en que
direccin se
desplazan los bits
de entrada?
Lgica digital
36
74LS164
8-bit shift register
Lgica digital
37
Circuitos secuenciales
Lgica digital
38
Circuitos secuenciales
Los cambios de estados ocurren en los circuitos secuenciales de acuerdo
al tictac del reloj (es sincrnico) En otro caso el circuito es
asincrnico y depende del comportamiento de las seales de entrada.
Los circuitos que cambian de estado en la parte creciente o decreciente
del pulso del reloj son llamados disparados por flanco Circuits that
change state on the rising edge, or falling edge of the clock pulse are
called edge-triggered.
Los circuitos disparados por nivel (Level-triggered) cambian su estado
cuando el voltaje del reloj alcanza su nivel mayor o menor.
Lgica digital
39
Circuitos secuenciales
SR significa set/reset.
Lgica digital
40
Circuitos secuenciales
El comportamiento de un flip-flop SR es descrito por su tabla
caracterstica.
Q(t) significa el valor de la salida al tiempo t. Q(t+1) es el valor de Q
despus del siguiente pulso del reloj.
41
Circuitos secuenciales
42
Circuitos secuenciales
74LS112
Dual flanco negativo JK Flip Flop
Se dispara cuando el reloj va de alto a bajo
Lgica digital
43
Circuitos secuenciales
44
Circuitos secuenciales
74LS174
Hex D Flip Flop
Lgica digital
45
Circuitos secuenciales
Los circuitos secuenciales se usan cada vez que
tenemos una aplicacin con estados
Una aplicacin con estados es aquella donde el siguiente estado de
la maquina depende el estado actual y de la entrada.
Lgica digital
46
Circuitos secuenciales
47
Circuitos secuenciales
Lgica digital
48
Circuitos secuenciales
Lgica digital
49
Conclusin
Los computers son implementaciones de lgica booleana.
Las funciones booleanas se describen mediante tablas de
verdad.
Las puertas lgicas son pequeos circuitos que
implementan operadores booleanos.
Las compuertas bsicas son AND, OR y NOT.
La puerta XOR es muy til para el chequeo de paridad y los
sumadores.
Lgica digital
50
Conclusin
Los circuitos computacionales consisten de circuitos lgicos
combinacionales y secuenciales.
Los circuitos combinacionales producen salidas (casi)
inmediatamente cuando cambia la entrada.
Los circuitos secuenciales requieren relojes para controlar los
cambios de estado.
El circuito secuencial bsico es el flip-flop: el comportamiento de
los flip-flops SR, JK y D flip-flops son los ms importantes.
El comportamiento de los circuitos secuenciales puede
expresarse usando tablas de verdad.
Lgica digital
51