Vous êtes sur la page 1sur 38

Compuertas lgicas y

lgebra de Boole
Ing. Mnica P. Ren
1
Electrnica Digital_Universidad del Caribe_Ing.Mnica P. Ren
introduccin
2 Electrnica Digital_Universidad del Caribe_Ing.Mnica P. Ren
Algebra booleana : herramienta de la matemtica usada para
el anlisis y diseo de sistemas digitales.

Nos permite describir la relacin entre la o las salidas de un
circuito lgico y sus entradas.
Las constantes y variables booleana solo puede tomar dos
valores 0 o1.
Las variables se usan para representar el nivel de voltaje
presente en un cable o en las terminales de E/S de un circuito.



introduccin
3 Electrnica Digital_Universidad del Caribe_Ing.Mnica P. Ren
En la lgica digital se usan otros trmino como sinnimos de 0
y 1.



0 lgico 1 lgico
Falso Verdadero
Desactivado Activado
Bajo Alto
No S
Interruptor abierto Interruptor cerrado
introduccin
4 Electrnica Digital_Universidad del Caribe_Ing.Mnica P. Ren
Por ejemplo, en cierto sistema digital el valor booleano 0 se
podra asignar a cualquier voltaje comprendido entre el
intervalo abierto de 0 a 0.8 V, en tanto que el valor booleano
de 1 se podra asignar a cualquier voltaje en un intervalo
abierto de 2 a 5V.

As el 0 y el 1 booleanos no representan nmeros reales (como
en el lgebra comn) sino el estado de una variable de voltaje,
o lo que se llama nivel lgico.



introduccin
5 Electrnica Digital_Universidad del Caribe_Ing.Mnica P. Ren
En el lgebra de boole solo existen tres operaciones
algebraicas bsicas (operaciones lgicas): OR, AND, NOT.

Para visualizar mejor las operaciones utilizamos una tabla de
verdad.

Una tabla de verdad es un medio para describir cmo la salida
lgica de un circuito depende de los niveles lgicos presentes
en la entrada del circuito.

Como se trabaja con nmeros binarios, las posibles
combinaciones de entrada para una tabla de verdad de N
entradas es: 2
N

Ejemplo para tres variables de entrada (A,B,C) se tendr 8
(2
3
=8) combinaciones de entrada .

introduccin
6 Electrnica Digital_Universidad del Caribe_Ing.Mnica P. Ren


Los circuitos digitales llamados compuertas lgicas se pueden
construir mediante diodos, transistores y elementos pasivos
conectados de tal forma que la salida del circuito sea el resultado de
una operacin lgica bsica aplicada a las entradas del circuito.



Compuertas lgicas
Circuitos electrnicos que
implementan alguna de las
funciones lgicas elementales:
suma lgica, producto lgico e
inversin lgica(o negacin).

Tipos de compuertas lgicas:
Bsicas: AND, OR, NOT o
INV
Combinacin de bsicas:
XOR o EX-OR
Con salida invertida o
negada: NAND,
NOR,XNOR




Compuerta OR
Suma lgica (O)
Nmero mnimo de entradas:2
Notacin: Z= A+B
Tabla de verdad:




Smbolo o representacin circuital:


A B Z
0 0 0
0 1 1
1 0 1
1 1 1


Z
A
B
7 Electrnica Digital_Universidad del Caribe_Ing.Mnica P. Ren
Compuerta AND
Producto lgico (Y)
Nmero mnimo de entradas:2
Notacin: Z=A . B
Tabla de verdad:





Smbolo o representacin circuital:








Compuerta NOT
Inversin o negacin o complemento
lgico
Nmero de entradas:1
Notacin: Z=A
Z=A
Tabla de verdad:


Smbolo o representacin circuital:

Compuertas lgicas
A B Z
0 0 0
0 1 0
1 0 0
1 1 1
A Z
0 1
1 0

A Z



A
B


Z
8 Electrnica Digital_Universidad del Caribe_Ing.Mnica P. Ren
Compuerta NAND
AND negada
Nmero de entradas: 2 (ampliable)
Notacin: Z=(A.B)
Z=A.B
Tabla de verdad:




Smbolo o representacin circuital:
Compuerta NOR
OR negada
Nmero de entradas: 2 (ampliable)
Notacin: Z=(A+B)
Z=A+B
Tabla de verdad:




Smbolo o representacin circuital:








Compuertas lgicas
A B Z
0 0 1
0 1 1
1 0 1
1 1 0

A Z
B

A Z
B


A B Z
0 0 1
0 1 0
1 0 0
1 1 0

A
B
Z A.B

A
B
Z A+B
9 Electrnica Digital_Universidad del Caribe_Ing.Mnica P. Ren
Compuerta XOR
OR exclusiva
Nmero de entradas: 2 (no
ampliable)
Notacin: Z=A.B+A.B
Z=A B
Tabla de verdad:




Smbolo o representacin circuital:
Compuerta XNOR
XOR negada o invertida
Nmero de entradas: 2 ( no
ampliable)
Notacin: Z=A.B+A.B
Z=(A B)=(A B)
Tabla de verdad:




Smbolo o representacin circuital:
Compuertas lgicas
A B Z
0 0 0
0 1 1
1 0 1
1 1 0

A
B
Z
A B Z
0 0 1
0 1 0
1 0 0
1 1 1

A
B
Z
10
Electrnica Digital_Universidad del Caribe_Ing.Mnica P. Ren
Circuito OR muy simplificado Circuito AND muy simplificado

D1
1N4004
D2
1N4004
R1


Vsal
V1
V2
Compuertas lgicas
V1 V2 Vsal
0 0 Diodos off 0
0 1 D1 off, D2 on 1
1 0 D1 on, D2 off 1
1 1 Diodos on 1

D1
1N4004
D2
1N4004
R1
Vsal
V1
V2
Vcc
V1 V2 Vsal
0 0 D1, D2
conducen
0
1 0 D1 abierto,D2
conduce
0
0 1 D1conduce, D2
abierto
0
1 1 D1, D2 abiertos 1
11
Electrnica Digital_Universidad del Caribe_Ing.Mnica P. Ren
Inversor
Circuito real
R2
10.0
R3
10.0
Q1
2N3055A
VCC
5V
Vin
Vout

74S04D
IN OUT
Compuertas lgicas
Vout
Vin hight
undefined
low
VCEsat
Vcc
12
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
TTL (transistor-transistor logic)
Transistores bipolares BJT
Alta velocidad
Bajo consumo
Baja inmunidad al ruido

Series TTL, LS-TTl, otras
Compuertas de hasta 8 entradas:
74LS04: sxtuple INV.
74LS08: cudruple AND de 2
entradas.
74LS21: doble AND de 2 entradas.
74LS30: NAND de 8 entradas.
Compuertas compuestas:
74LS51: AND-OR-INV


Tecnologas de compuertas lgicas
U5A
74LS51D
8
1
12
13
9
10
11
CMOS (complementary metal oxide
semiconductor)
Transistores Mosfet
Baja velocidad
Bajo consumo
Alta escala de integracin
Alta inmunidad al ruido
Series CMOS 4000/4500
Cudruples de 2 entradas:
4001: NOR.
4011: NAND.
4071: OR.
4081:AND
4030/4070:XOR
4069: sxtuple inversor.
Para mayor informacin consulte Apndice A,
Lgica MOS y CMOS de Fundamentos de
diseo lgico, Charles H. Roth, Jr. 5 ed.

13
Electrnica Digital_Universidad del Caribe_Ing.Mnica P. Ren
Tecnologas de compuertas lgicas
ejemplo hoja de datos
14 Electrnica Digital_Universidad del Caribe_Ing.Mnica P. Ren
Tecnologas de compuertas lgicas
ejemplo hoja de datos
15
Electrnica Digital_Universidad del Caribe_Ing.Mnica P. Ren
Compuertas lgicas
Prctica n1 Compuertas lgicas
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
16
Algebra de Boole
Tiene mucha aplicaciones por ejemplo: teora de conjuntos y lgica matemticas.
Fue desarrollada en 1847 por George Boole.
Pero en 1939 Claude Shannon la aplic para el diseo de circuitos de conmutacin.
El lgebra booleana que emplea solo dos valores, se denomina lgebra de conmutacin.


17
Electrnica Digital_Universidad del Caribe_Ing.Mnica P. Ren
Algebra de Boole, leyes y teoremas
Principio de dualidad:
Si queremos encontrar el dual de una expresin algebraica simplemente intercambiamos
los operandos OR y AND y sustituimos los 0s por 1s y los 1s por 0s.
dualidad
X+0=X X.1=X
X+X=1 X.X=0
X+X=X X.X=X
X+1=1 X.0=0
(X)=X
involucin
X+Y=Y+X XY=YX
conmutatividad
X+(Y+Z)=(X+Y)+Z X(YZ)=(XY)Z
asociatividad
X(Y+Z)=XY+XZ X+YZ=(X+Y)(X+Z)
distributividad
(X+Y)=XY (XY)=X+Y
Ley de Morgan
X+XY=X X(X+Y)=X
Ley de Absorcin
18
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
Algebra de Boole, postulados y teoremas
Cuando una expresin se implementa utilizando compuertas lgicas, cada
literal de la expresin corresponde a una entrada de compuerta lgica.

Una tabla de verdad especifica los valores de una expresin booleana para
todas las posibles combinaciones de valores de las variables de la expresin.

Podemos demostrar los teoremas bsicos utilizando circuitos conmutadores.
donde 0 representar un conmutador abierto y 1 representar un conmutador
cerrado.



19
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
X.X=X
=

X+X=X

=

X+0=X

=



Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
20
X X
X
X
X
X
X
X
X
1
Algebra de Boole, postulados y teoremas
X.X=0
=

X+X=1

=


X+1=1

=
X
X
1
X X
0
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
21
Observaciones para cuando se evalen expresiones booleanas :
Primero realizar las inversiones de los trminos simples,
resolver las operaciones entre parntesis,
cuando una operacin contiene AND y OR, a menos que existan parntesis,
la operacin AND tiene prioridad,
realizar las operaciones dentro de la barra y luego invertir (o negar) el
resultado.
Ilustremos lo anterior con unos ejemplos.

Algebra de Boole, postulados y teoremas
Teoremas de simplificacin:
XY+XY= X
X+XY=X
(X+Y)Y=XY
Leyes de Morgan:
(X+Y+Z+..)=XYZ
Teoremas para la descomposicin en
(X+Y) (X+Z)=XZ+XY

Teorema de consenso:
XY+YZ+XZ=XY+XZ

(X+Y)(X+Y)=X
X(X+Y)=X
XY+Y=X+Y

(XYZ..)=X+Y+Z+
productos sumas y suma de productos:
XY+XZ=(X+Z)(X+Y)


(X+Y)(Y+Z)(X+Z)=(X+Y)(X+Z)
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
22
Algebra de Boole, leyes y teoremas
Implicaciones del Teorema de
Morgan:
(X+Y)=XY





(XY)=X+Y
Regla, intercambio OR con AND
(y viceversa) y coloco negacin
donde no exista y quito la que
exista.
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
23
Algebra de Boole, leyes y teoremas

X
Y
(X+Y)
X
Y
XY
X
Y
X
Y
XY

X
Y
(X.Y)
X
Y
X+Y X+Y
X
Y
X
Y
Con compuertas NAND








Interpretacin de smbolos lgicos
Indica que la salida ser
baja cuando ambas
entradas sean altas

Con compuertas NOR








Salida activa en alto
cuando cualquiera de
las entradas sean bajas

Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
24
Universalidad de las compuertas NAND y NOR

A
X= (A.A)=A A A
A
B
(AB)
X=AB
A
B
AB
A
A
B
B
X= (AB)=A+B
A
B
A+B

A A
A
B
AB
A
B
A+B
A
A
A
B
B
X= (A+A)=A
X= (A+B)=AB
(A+B)
A+B

X
Y
(X.Y)

X+Y
X
Y
Universalidad de las compuertas NAND y NOR
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
25
Los diseadores prefieren emplear compuertas NAND y NOR ya que
generalmente son ms rpidas y emplean menos componentes que las
compuertas lgicas AND y OR.

Supongamos que queremos implementar la siguiente funcin, F=(A+B)AC
utilizando solo compuertas NAND, entonces tendremos:

A
B
C
A+B
AC
[(A+B) AC]
(A+B)AC
lgebra de Boole
Ejemplos de aplicacin de teoremas para la simplificacin de expresiones
booleanas.
Morris Mano, 2-1 :1,2,3,4


Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
26
Conversin de enunciados a expresiones booleanas:

Pasos principales en el diseo lgico de un circuito de conmutacin
combinatorio de una nica salida:
1. Hallar una funcin de conmutacin que especifique el comportamiento
deseado del circuito.
2. Hallar una expresin algebraica simplificada para la funcin.
3. Implementar la funcin simplificada utilizando los elementos lgicos
disponibles.
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
27
lgebra de Boole
lgebra de Boole
Mara ve la televisin si es lunes por la noche y ha terminado sus deberes.

Se debe dividir cada proposicin en otras proposiciones y asociar una
variable booleana con cada una de ellas.
Si una proposicin puede tener un valor verdadero o falso, entonces
podemos representar dicha proposicin mediante una variable booleana.
Frases como voy a la tienda u hoy es lunes pueden ser verdaderas o
falsas, pero una orden como ve a la tienda no tiene valor lgico (no es ni
verdadera ni falsa).

Para nuestro ejemplo dividimos la proposicin en otras tres proposiciones
componentes.
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
28
lgebra de Boole
Mara ve la televisin si es lunes por la noche y ha terminado sus deberes.

Las palabras si e y no estn incluidas en las proposiciones,
simplemente muestran la relacin existente entre las proposiciones.
Definimos una variable boolena para cada proposicin, ej.
F=1 si Mara ve la televisin es verdadero; caso contrario F=0
A=1 si es lunes por la noche es verdadero; caso contrario A=0
B=1 si ha terminado sus deberes es verdadero; caso contrario A=0

Dado que F es verdadero si ambas son verdaderas entonces podemos
representar la afirmacin mediante:
F=A.B

Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
29
lgebra de Boole
Encuentre un circuito lgico que represente los siguientes enunciados:

La alarma sonar si y slo si la alarma est activada y la puerta no est
cerrada, o si es despus de las 6 de la tarde y la ventana no est cerrada

La puerta del ascensor debe estar abierta si el ascensor est parado, se
encuentra al nivel del piso y el intervalo de temporizacin no ha finalizado,
o si el ascensor est parado, se encuentra al nivel del piso y se pulsa un
botn.

Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
30
Funciones booleanas
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
31
Una funcin booleana descrita por una expresin algebraica consta de
variables binarias, las constantes 0 y 1, y los smbolos lgicos de operacin
Forma cannica de una funcin, suma de productos y
productos de suma
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
32
El lgebra de boole asocia a la suma de trminos cuyas variables
exclusivamente estn multiplicndose como MINITERMINOS (o productos
cannicos) y, a la multiplicacin de trminos cuyas variables estn
sumndose como MAXITERMINOS (o sumas cannicas).
La tabla siguiente muestra los MINITERMINOS y MAXITERMINOS para tres
variables.


Minitrminos Maxitrminos
X Y z Trminos Designacin Trminos Designacin
0 0 0 xyz m
0
x+y+z M
0

0 0 1 xyz m
1
x+y+z M
1

0 1 0 xyz m
2
x+y+z M
2

0 1 1 xyz m
3
x+y+z M
3

1 0 0 xyz m
4
x+y+z M
4

1 0 1 xyz m
5
x+y+z M
5

1 1 0 xyz m
6
x+y+z M
6

1 1 1 xyz m
7
x+y+z M
7


Forma cannica de una funcin, suma de productos y
productos de suma
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
33
Se puede formar una funcin booleana a partir de maxitrminos o
minitrminos.
Por ejemplo sea F es una funcin booleana que se define en base a la
siguiente tabla de verdad:


x y z F
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 1

Forma cannica de una funcin
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
34
Entonces F = xyz + xyz + xyz = m
1
+ m
4
+ m
7


o en su forma dual : F= m
0
+m
2
+m
3
+ m
5
+m
6


si complemento nuevamente vuelvo a obtener F=(F) =(m
0
+m
2
+m
3
+ m
5
+m
6
)
aplicando el teorema de Morgan:

F=(m
0
+m
2
+m
3
+ m
5
+m
6
) = m
0
m
2
m
3
m
5
m
6
=M
0
M
2
M
3
M
5
M
6
y puedo

expresar tambin F en su otra forma cannica.
Forma cannica de una funcin
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
35
Cabe sealar que cada maxitrmino es un complemento de su minitrmino
correspondiente, y viceversa.

Se dice que una funcin booleana expresada como suma de minitrminos o
productos de maxitrminos est en forma cannica.
En esta configuracin, los trminos que forman la funcin deben contener
todas las variables presentes en la funcin.


La alarma sonar si y slo si la alarma est activada y la puerta no est
cerrada, o si es despus de las 6 de la tarde y la ventana no est cerrada.

Disee la tabla de verdad que me represente el estado de la salida de la
alarma segn todas las posibles combinaciones de sus estados en la
entrada.
Exprese la funcin de salida en su forma cannica de minitrminos.
Reduzca la funcin anterior mediante el lgebra de boole e implemente el
circuito .
Implemente nuevamente el circuito (reducido) utilizando compuertas
nand.


Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
36
Ejemplos para resolver en clase:

Ejemplos para resolver en clase:

Para el ejemplo de la puerta del ascensor, se le pide que:
1. disee la tabla de verdad,
2. encuentre la funcin de salida que representa a la puerta del ascensor
cerrada, e
3. implemente un circuito para la funcin anterior (utilizando el mnimo
nmero de compuertas lgicas).
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
37
Electrnica Digital_Universidad del
Caribe_Ing.Mnica P. Ren
38
Algebra de Boole, leyes y teoremas
Prctica n2 Teoremas del lgebra de Boole.

Vous aimerez peut-être aussi