Académique Documents
Professionnel Documents
Culture Documents
r----
-' rr -@
aprenderós:
I
{--.\l funcionamiento. i
:
ffi Retomemos el caso práctico
Retomemos el sistema de control de una alarma analizado en el Capítulo 1 (punto
1.6.1). En la Tabla 2.1 recordamos la Tabla de Verdad conespondiente.
0 0 0 0 0
I 0 0 1 t
:
2 0 1
n 0
J 0 1 1 0
4 1 0 0 0
5 1 0 1 1
fJ 1 1 0 0
7 1 1 1 1
E2 Io o
0 0110l
E1 0 1 0t 0
o 1 rio
i
ir o oi o
¡
EO
1o 1,0 j'
,1 1 0t 0
i 1 I ]i I
:
Figuta 2.1. Símbolo de la función lógica AND de tres entradas con su Tabla de Verdad
Para poder usar una puefta AND para resolver las dos situaciones citadas necesi-
tamos una puerta que invierta el nivel de las señalesE2y El en el caso de la fila 1
,)*'
ITES-Ptnmwro
20 G)
ry
Puertas lógitas
E2 E2 El EO sl s5 s7
E1
EO 0 00 000
0 01 100
S_0 10 000
'o 11 000
00 000
01 010
10 000
11 001
Figura *.3" Solución, aún incompleta, al problema propuesto
Pero aún falta reunir las tres salidas parciales en una sola. E,s decir, necesitamos
una puerta lógica de tres entradas cuya salida sea igual a 1 cuando cualquiera de sus
entradas sea igual a I . Esta puerla también la podemos conseguir en tiendas de elec-
trónica y se denomina puerta OR ("o", en inglés). En la Figura 2.4 podemos verla.
s7 ss s1 S
s1 0 00 U
0 01
s5 0 10
U 11
s7
00
01
10
11
E2 E1 EO S
0 00 0
0 01 1
0 10 0
0 11 0
00 0
01 1
10 0
11 1
Figura 2.5. Circuito lógico y Tabla de Verdad que controla la alarma del tanque
TAREA 1:
@ ITES-PnanNtwro
21
{B
Pueffis lógicas
TAREA 2:
Aplica a ambos circuitos las condiciones de entrada para todas las filas de
la-Tabla de Verdad a fin de comprobar que efectivamente se cumple, susti-
tuyendo las entradas por sus valores reales y analizándolos a lo largo del
circuito.
Antes de plantear la Tabla de Verdad del sistema propuesto debemos definir los
niveles de los sensores que usaremos para determinar el estado de los componentes
del sistema.
La Figura 2.6 presenta la puerta que completa el grupo de cuatro puertas básicas
de la lógica binaria combinacional.
1
Presla abenciín al truquillo o*V AB s
que te damos... ó 00 ñ
"En una puerLa XOR con
más de dos entradas, si el
número de "1" que recibe es
;]D S
01
10
11
1
ry'l
hh
@ ITES-P¡nnwr,'tro
Puertas
a
ló&s
WPuertas básicas
En la Figura 2.7 se presentan las cuatro puertas lógicas estudiadas hasta ahora. Por
simplicidad se han considerado puertas de sólo dos entradas'
podrás observar que en cada puerta se ha añadido la ecuación correspondiente.
Tabla de verdad I
Aelsi
ABisi
iAI
ó-l
o*'o T*
S=A'B; ó;iój
l oio i
i 11
I
i ,.1.,._l_.",,i
.=o*,i i 3-?'i-?-i i
ii1011:i
i¡11:1:¡
lill;lil
i
i1
Tabla de verdad
:
l
ill>'
1
xo* S=A@Bi
*r"#0" -"il:--;'¡'i'-**
i i ;;;;"ñ-i- rabra de verdad i
@ ITES-Ptmuwro 23
f&
Pueñs lógicas
AE S
S S:A+B 00 1
010
100
110
Función Símbolo Ecuación Tabla de verdad
AB S
XNOR
;l>s s:aos 00
010
100
111
1
W figebra de Boole
E,l matemático George Boole (1815-1864) desarrolló una teoría que se conoce
como el álgebra de Boole, nrediante la cual operamos con números binarios, es
decir, con variables que sólo pueden tomar uno de los dos estados posibles. En nues-
tro caso, simbolizados por 0 y 1.
FUNCIÓN IGUALDAD
r$ AS AS
+v+-olo--{--1 S=A 00
...¿Sabías que George 3oole
a la edad de 16 años ya
11
daba clases de maLemáLi' FUNCION SUMALOGICA
cas y que luego fundó su A
propio colegio? lo- J AB S
-"--¿*141 S=A+B 00 0
01 1
101
111
FUNCION PRODUCTO LOGICO
ABS AB S
*vo4d$. S=A'B 00
01
0
0
100
11 1
A ITES-PaMN^tro
24
r'.t
Puertas lóffias
2,3.2 Postulados
En la Figura 2.10 se representan algunas ecuaciones básicas booleanas junto a su
esquema eléctrico.
A
S=A+1=1 1
s=A+o=A ."{í:--il
S=A.1=A +V 04<
S=A'0=0 *uo-}.o-o'*$-
S=A'A=A +v*ddo$
S=A+A=1
S=A'A=0
2,3,3 Propiedades
a ITES-PARAN\NF)
25
fra
Pueffis lógicas
I
2,3.4 Teoremas
TEOREMA 1:
a)A+A'B:A demostración:
A+A.B:A.(1 +B):A'1=A
b)A' (A+B):A demostración:
A. (A+B) :A'A+A' B :A+A' B :A' (1 +B) :A
TEOREMA 2:
a)A+ Á.e:A+g demo:tración: _
a+ Á. B:(A+ Á; 1a+B)= 1' (A+B):A+B
b)A. (Á+ B) :A. B demo-stración:
A. (A+B):A. A+A. B : 0 +A' B :A' B
Tarea 1:
Mediante el desarrollo de Tablas de Verdad verifica los teoremas de De
Morgan para el caso de tres (3) variables. A continuación te damos una tabla
con las columnas que te ayudarán a elabotar la verificación. La línea primera
y la segunda las hemos resuelto por ti como una pequeña ayuda.
010
011
100
101
110
111
Tarea 2:
De la misma manera verifica el segundo teorema de De Morgan.
@ ITES-P,aaeutwro
26
d&
Puertas l@'
i>,im-,lÉsl
F= A+B+C F=A'B'C símbolo equivalente
i+,iH>,E+l
F=AET F=Á+e+e símbolo equivalente
Figura 2.1f. Puertas lógicas que representan los teoremas de De Morgan
S=A'B
;}f}s=ffi=AB
S=A'B=A+B S=A+B
._s.
S=A.B=A+B y S=A*B
B-/ I
Figura 2,12. lmplementación de las distintas funciones lógicas con puertas NAND
@ ITES-Pennuwro
27
ro
'M
Pueffip lógicas
I
WFunciones canónicas
Tal como hemos comentado al inicio del Capítulo 1, podemos describir el funcio-
namiento de un sistema lógico combinacional mediante una Tabla de Verdad, como
se muestra a continuación (los niveles de la salida F son totalmente arbitrarios).
illo B ....CiF
".,.
0 0i0
"\.....-- ..-
i
l
iO o 1j1i
dispositivo
F0 l oio l
de control 0 1111
digital o oi1 i
01111
10i01
11i1 l
Dicha Tabla de Verdad nos define el nivel lógico de la salida para cada combina-
ción de entradas. Para el caso que nos ocupa, podemos expresar la función de la sali-
da teniendo en cuenta las filas de la Tabla de Verdad que tienen como nivel el "1"
1ógico.
@ ITES-P,qn,quwro
28
4%
Puertas logtcas
A
B
t.
Figura 2.'14" lmplementación del circuito lógico según la función canónica (minitérminos)
0 00 0
Supongamos el siguiente sistema lógico que debe funcionar según Io detalla la 0 01 0
Tabla 2.2 que se especifica a continuación. 0 10 0
0 11
Apelando a los minitérminos y utilizando los postulados, teoremas y propiedades 00
tendremos:
01
10
S:Á.B.C-A. E. C,A. e.C+A.8. e_n.e.C 11
s:Á B c .r.Bte ic)-A B.(e c) Ta[¡!a 2.2, Tabla de Verdad de la función
@ ITES-PARANtNFo
29
{-&
Pueffif lógicas
S:A.B.C+A.B+A.B
s:Á.B.c+A.(E+B)
S:Á.8.C+A
s:A.B.C+A'(1 +B.C) hemos agregado un término que no afec-
ta al resultado
S:Á.B.C+A+A.B.C
S:8.C.(Á+A)+A
S:A+ B .C que es la mínima expresión de la función.
Ahora bien, está claro que la minimización de una función, apaftir de una expre-
sión canónica, está muy influenciada por la habilidad con que se utilizan los postu-
lados, teoremas y propiedades.
Por esta razón se han desarrollado métodos para obtener expresiones mínimas
siguiendo unas reglas específicas. Nosotros nos centraremos en el método desamo-
llado por Karnaugh.
ecuacióncanónica lA B Cj
i Fl(
F=Á.8.c+A'E'e +:on01
oo 0 AB\
0
A.B.C+A.B.C+,: 010 0
00
B.C
A.B.C io I r 01
100
ecuaciónsimplificada it O I 11
@ ITES-Ptatuturo
30
ffi
r"N.¡eN-[aS l0grca5
ABCD F
0 00 0 F
0 01 0 00 01 11 10
ecuación canónica 0 10 0
110
F=Á.8.ó.D+Á.e'e'o+
Á.4.c. D + n' E.c.o +
0
00
01
1
1
00
01
0 0 0
0
0
1 1 1
o
A.B.e.D+A.B.c.D 10 1 Á .B.D
110 11 0
*o__L 1 1
0 00 0 @.: '10 0 0
0 01 0 .U'U.D
0 1
Ahora las agrupaciones pueden ser como las de 3 variables teniendo en cuenta que:
Si el grupo es de ocho 1, se eiiminan 3 variables.
Si el grupo es de dieciséis 1, se eliminan las cuatro variables y la función será
siempre 1.
Al igual que en el caso anterior, se sugiere al alumno verif icar que el resultado no
depende de cómo se configura e1 mapa de Karnaugh.
Analizando los grupos, la función nos queda reducida a:
F:A.B.D+A,C.D+B.C.D
Escribe la función canónica F(A,B,C,D) para el caso en que las celdas que
ocupan los vertices son las únicas que poseen el nivel lógico "1".
@ ITES-PARAN|NFj
$"É
d%
Puerlás légicas
a.F-X'(Y+Z)
b.F-x.Y+x.z
c.F-X'T-z
2.4 Representa los circuitos lógicos correspondientes a las siguientes expresiones
booleanas sólo con puerlas NAND y luego sólo con puerlas NOR:
a.x'(Y'Z)
b.X.Y+X.Z
2.5 Verifica que el circuito de la Figura 2.18 con'esponde a una puerta XOR:
Figura 2."iE
PRACTICAS DE TABORATORIO
@ ITES-P¡ntuwro
32