Circuitos Lgicos

1.
FUNCIONES LGICAS:
Dadas dos proposiciones A y B que pueden ser verdaderas (V) o falsas (F) y
relacionadas entre s mediante conectivos lgicos (O, , etc!) se trata de determinar si la
proposicin resultante es verdadera o falsa!
Funcin O (OR): " # A $ B que se lee " igual A %O& B , significa que la proposicin " es
verdadera cuando A o B o am'as lo son!
Funcin Y (AND): D # A ! B que se lee D igual A %& B , significa que la proposicin D es
verdadera (nicamente cuando am'as, A y B lo son!
)stas e*presiones quedan m+s claramente definidas por la %ta'la de verdad& que
consiste en e*presar el valor de verdad de la funcin, o sea e*plicitar para cada
com'inacin de las varia'les si la funcin es verdadera o falsa!
Tabla 2.1: Funciones lgicas elementales
A C!A" D!A. E!A(")
F F F F F
F V V F V
V F V F V
V V V V F
,a (ltima funcin indicada en la ta'la se llama %O e*clusiva& que es verdadera slo si
una de las proposiciones, A o B lo son (no am'as)!
Funcin NO (NOT): - # ./ que se lee - igual a %0O& . , significa que - es verdadera
si . es falsa y viceversa!
Tabla 2.2: Funcin complemento
G #
F V
V F
)stas son las funciones lgicas elementales, a partir de ellas es posi'le determinar el valor
de verdad de proposiciones m+s comple1as!
2. CIRCUITOS DE CON$UTACIN:
2odemos o'servar en las figuras que siguen que los circuitos go'ernados por
interruptores conectados en serie, paralelo o com'inados, se comportan de manera similar
a las funciones lgicas!
)n la primera cone*in la l+mpara 'rillar+ si A o B o am'as llaves est+n pulsadas
(funcin %O&)3 en la segunda, se requiere que am'as llaves est4n pulsadas (funcin %&) y
en la tercera, si se pulsa - se apaga la l+mpara y si se suelta se enciende (funcin %0O&)!
Fi%u&a 2.1: "ircuito de )ncendido con 5nterruptores 6erie, 2aralelo e 5nversor!
1
7 7
A
B
A B A

!

!

!

!
7
Circuitos Lgicos
8ra'a1aremos con varia'les 'ivaluadas esto es, que pueden adoptar slo dos valores
(principio del tercero e*cluido), a los que 9aremos corresponder los dgitos %:& y %;& del
sistema 'inario, de modo tal que cuando la varia'le lgica sea verdad le asignaremos el %;&
y cuando sea falsa el %:&!
"uando estas funciones sean representadas o construidas con circuitos electrnicos,
sus valores se corresponder+n con dos valores de tensin, que tendr+n < en general <
ciertos m+rgenes de tolerancia cada uno!
6i al mayor valor se le asigna el %;& y al menor el %:& se 9a'lar+ de lgica positiva y si
la asignacin fuera al rev4s, la lgica se dira negativa!

6alvo e*presa indicacin en contrario, operaremos con lgica positiva, con lo que los
t4rminos %verdad&, %;& y %-& (-ig9 # alto) ser+n equivalentes entre s y corresponder+n al
valor alto de la tensin en los circuitos digitales! ,o mismo con los t4rminos %falso&, %:& y %,&
(,o= # 'a1o), que ser+n equivalentes entre s y a los que corresponder+ el menor valor de la
tensin de salida de los circuitos!
'. (LGERA DE OOLE:
Fue introducida por .eorge Boole en ;>?@ en su tra'a1o %An 5nvestigation of t9e
,a=s of 89oug9t&! )n ;AB>, 69annon advirti que era adecuada para la sntesis de circuitos
mediante rel4s! -oy constituye el fundamento matem+tico del diseCo lgico de autmatas!
D)*inicin 1: Dna operacin binaria so're un par ordenado de elementos de un con1unto,
determina un (nico elemento! 6i este elemento pertenece tam'i4n al con1unto, entonces se
dice que la operacin binaria satisface la propiedad de clausura.
D)*inicin 2: Dn sistema alge'raico integrado por un con1unto B de elementos Ea, ',!!!F y
dos operaciones 'inarias %"& y %.& que satisface la propiedad de clausura, se dice que es un
+l%)b&a ,) --l), si se satisfacen los siguientes postuladosG
.1) ,as operaciones %$& y %!& son conmutativasG
a $ ' # ' $ a a ! ' # ' ! a a, ' B
.2) "ada operacin es distri'utiva respecto a la otraG
a ! (' $ c) # (a ! ') $ (a ! c) a $ (' ! c) # (a $ ') ! (a $ c) a, ', c B
.') )*isten H elementos identidad %:& y %;& respecto a %$& y %!& I
a $ : # a a ! ; # a a B
./) a B a/ B IG
a $ a/ # ; a ! a/ # :
2
v
H
v
H
v
L
v
# J;J G lgica $
Ni0)l al1- (#)
# J:J G lgica <
# J:J G lgica $
Ni0)l ba2- (L)
# J;J G lgica <
Fi%u&a 2.2: 0iveles ,gicos
Circuitos Lgicos
)ste con1unto de postulados es uno de los tantos que podran usarse para descri'ir
un +lge'ra de Boole!
A partir de ellos es posi'le pro'ar los siguientes teoremasG
a $ a # a a ! a # a 5dempotencia
a $ ; # ; a ! : # : )lementos unidad y nulo
(a/)/ # a 5nvolucin
a $ (a ! ') # a a ! (a $ ') # a A'sorcin
a $ (' $ c) # (a $ ') $ c a ! (' ! c) # (a ! ') ! c ,eyes Asociativas
(a $ ')/ # a/ ! '/ (a ! ')/ # a/ $ '/ ,eyes de De Korgan
6e ve a9ora que los circuitos lgicos y los de conmutacin constituyen simplemente
un +lge'ra de Boole en que el con1unto B est+ integrado (nicamente por dos elementos %:&
y %;&! 2ara demostrarlo se de'e recurrir a las definiciones de las funciones %O&, %& y %0O& y
verificar que se cumplen los postulados del +lge'ra de Boole!
2odemos pro'ar adem+s los teoremas por e*9aucin, esto es construyendo la ta'la
de verdad para cada funcin y verificando las igualdades!
,os dispositivos (en nuestro caso, electrnicos) que efect(an las funciones
elementales lgicas, se denominan 3u)&1a4 o c-53u)&1a4!
/. S65b-l-4:
,os m+s utiliLados son los desarrollados en con1unto por el A065 (American 0ational
6tandard 5nstitute) y el 5))) (5nstitute of )lectrical and )lectronic )ngineers), cuya versin
m+s reciente es el denominado IEEE Standard Graphic Symbols for Logic Functions o
ASI!IEEE Std "#$#"%& , que de'e usarse en todos los diagramas del Dpto! de Defensa de
los ))!DD! y que es compati'le con el est+ndar M;N del 5)" (5nternational )lectrotec9nical
"ommission)! )sta norma da ca'ida a dos tipos diferentes de sm'olos para las compuertas
lgicas! Dno denominado s'mbolos de forma distintiva, corresponde a los utiliLados por la
industria digital durante muc9os aCos y a(n en el presente y se caracteriLa por asignar
sm'olos con forma distinta a cada tipo de compuerta (IOI0O)! )sta representacin es
adecuada para los elementos simples (compuertas), pero es inadecuado ya que
proporciona poca informacin, para representar dispositivos m+s comple1os (flip<flops,
contadores, multiple*ores, etc!)! 2or ello parece e*istir una tendencia < y en este sentido
apunta la recomendacin A065I5))) < a utiliLar los denominados sm'olos de forma
rectangular, que representa todas las compuertas mediante un rect+ngulo, con una etiqueta
en su interior que indica su tipo!

3
Circuitos Lgicos
Fi%u&a 2.': 6m'olos ,gicos A065I5))) y sus ta'las de verdad
,os nuevos sm'olos utiliLan un pequeCo tri+ngulo en lugar del redondelito para
indicar la inversin del nivel lgico en las entradas o salidas!
,a presencia o ausencia de este tri+ngulo, indica adem+s, si la entrada o salida es
activa en nivel BAOO (,OP) o A,8O (-5.-)!
Dentro del rect+ngulo, se indica la relacin lgica entre las entradas y la salida! As,
), %;& dentro del rect+ngulo del inversor, indica que es un dispositivo de una sola entrada y
el tri+ngulo en la salida indica que ir+ a un estado activo en BAOO, cuando la entrada se
encuentre en su estado activo en A,8O! )l ampersand (Q # ) de la puerta A0D, indica que
la salida estar+ en su estado activo A,8O cuando todas las entradas est4n en su estado
activo en A,8O! 2or su parte el %;% de la puerta OR, indica que la salida ir+ a su estado
activo en A,8O cuando una o m+s entradas se encuentren en su estado activo A,8O!
)l est+ndard A065I5))) permite representar los elementos de mayor escala, de
manera m+s simple y precisa y contiene un rico con1unto de conceptos, como agrupamiento
de 'its, 'loques de control com(n y notacin de dependencia, lo cual permite que parte o
toda la funcin del elemento lgico se e*9i'a en el mismo sm'olo!
)*isten otros est+ndares tales como D50 @:N:: y D50 @;N>?, utiliLados en )uropa y
menos difundidos, pero en general se tiende a la norma del 5)))!
7. FUNCIONES DE 8ARIALES I8ALUADAS:
)n el campo de las funciones analticas, el n(mero de funciones de una varia'le es al
menos, infinito! )n cam'io las funciones de varia'les digitales son conta'les!
Funci-n)4 ,) una 0a&iabl): dado que una varia'le 'inaria A puede asumir slo H valores
distintos, cualquier posi'le funcin de ella, ser+ alguna de las indicadas en la ta'la H!B!
4
;
;
Q
Q
;
A0D
OR
0A0D
0OR
0O8
A
B
A
B
A
B
A
B
A
"
"
"
"
A/
A/
"
"
"
"
A/
A/
A
B
A
B
A
B
A
B
A
AB"::::;;;
:;;;;
AB"::::;:;
::;;;
AA/:;;:
AB"::;:;:;
::;;:
AB"::;:;;;
:;;;:
Circuitos Lgicos
Tabla 2.': Funciones de una varia'le 'ivaluada!
A *
1
*
2
*
'
*
/
: : : ; ;
; : ; : ;
f
;
# :
f
H
# A
f
B
# A/
f
@
# ;
Funci-n)4 ,) 2 0a&iabl)4 bi0alua,a4: en este caso el n(mero de funciones posi'les es de
;M! "on algunas de ellas ya nos familiariLamos en 9o1as anteriores!
Tabla 2./: Funciones de H varia'les 'inarias!
A *
1
*
2
*
'
*
/
*
7
*
9
*
:
*
;
*
<
*
1=
*
11
*
12
*
1'
*
1/
*
17
*
19
: : : : : : ; : : ; : ; ; : ; ; ; ;
: ; : : : ; : : ; : ; : ; ; : ; ; ;
; : : : ; : : ; : : ; ; : ; ; : ; ;
; ; : ; : : : ; ; ; : : : ; ; ; : ;
2odemos verificar f+cilmente queG
f
;
# : f
H
# AB f
B
# AB/ f
@
# A/B
f
?
# (A$B)/ f
M
# A f
N
# B f
>
# (A B)/
f
A
# A B f
;:
# B/ f
;;
# A/ f
;H
# A $ B
f
;B
# A $ B/ f
;@
# A/ $ B f
;?
# (AB)/ f
;M
# ;
)n general e*isten
2
2
n
funciones diferentes de n varia'les! As, e*isten H?M funciones
de B varia'les, M??BM de @ varia'les, etc!
9. FOR$AS CANNICAS:
Dna funcin cualquiera de varia'les 'ivaluadas puede e*presarse ya sea mediante
una relacin alge'raicaG F # F(A,B,",!!!) o por e*9aucin mediante la ta'la de verdad! )ste
(ltimo m4todo se complica si el n(mero de varia'les es grande, ya que el n(mero de
renglones de la ta'la de verdad es 2
n
, siendo n el n(mero de varia'les! A veces se indican
slo los %;/s& o los %:/s& de la ta'la de verdad, con lo cual el tamaCo de 4sta se reduce!
,a funcin se dice que est+ e*presada en forma cannica o est+ndar, si todos sus
t4rminos contienen la totalidad de las varia'les (en forma normal o complementada)!
6i la funcin tiene la forma de suma de productos, cada uno de 4stos se llama producto
cannico o %mint4rmino& y la funcin se dice e*presada en la primera forma cannica! 6i la
forma es de producto de sumas, entonces la funcin est+ e*presada en la segunda forma
cannica y cada sumando se llama suma cannica o %ma*t4rmino&!
2ara llevar una funcin no estandariLada a las formas cannicas, el m4todo consiste
en multiplicar cada sumando (para la primera forma) por t4rminos del tipo (A$A/) en las
varia'les faltantes o 'ien, sumar en cada multiplicando (para la segunda forma) t4rminos
del tipo AA/ en las varia'les faltantes!
E2)53l- 2.1:
5
Circuitos Lgicos
Dada la funcin lgica F(A>>C>D) ! (A?"C) ("CD) e*presarla en las formas
est+ndar!
2rimera forma cannicaG
F # A/B$A/"D$B"$B"D # A/B$A/"D$B"(;$D) # A/B $ A/"D $ B"
en el primer sumando faltan las varia'les " y D, en el segundo falta B y en el tercero faltan
A y D, entoncesG
F # A/B("$"/)(D$D/) $ A/"D(B$B/) $ B"(A$A/)(D$D/) # A/B"D $ A/B"/D $ A/B"D/ $ A/B"/D/$
A/B"D $ A/B/"D $ AB"D $ AB"D/ $ A/B"D $ A/B"D/ #
F !A??CD"A?C?D?"A?C?D"A?CD?"A?CD"ACD?"ACD
6egunda forma cannicaG
F # (A/$B)(A/$")(B$")(B$D) #
# (A/$B$""/$DD/)(A/$"$BB/$DD/)(B$"$AA/$DD/)(B$D$AA/$""/) #
# (A/$B$"$D)(A/$B$"$D/)(A/$B$"/$D)(A/$B$"/$D/)!(A/$B$"$D)!
(A/$B$"$D/)(A/$B/$"$D)(A/$B/$"$D/)(A$B$"$D)(A$B$"$D/)(A/$B$"$D)
(A/$B$"$D/)(A$B$"$D)(A$B$"/$D)(A/$B$"$D)(A/$B$"/$D) #
F!(A""C"D)(A""C"D?)(A""C?"D)(A?""C"D)(A?""C"D?).
.(A?""C?"D)(A?""C?"D?)(A?"?"C"D)(A?"?"C"D?)
0tese que la primera forma cannica tiene N t4rminos, la segunda A y que sumados
son ;M t4rminos # H
@
# H
n
, siendo n # @ el n(mero de varia'les!
E2)53l- 2.2:
Dada la funcin de B varia'les F # A/B/ $" , escri'ir su ta'la de verdad y e*presarla
en sus formas cannicas!
Tabla 2.7: 8a'la de verdad
A C F F?
: : : ; :
: : ; ; :
: ; : : ;
: ; ; ; :
; : : : ;
; : ; ; :
; ; : : ;
; ; ; ; :
2rimera formaG suma de productos!
"ompletamos los t4rminos de F multiplicando por e*presiones de la forma V$V/ # ;
en las varia'les faltantesG
F # A/B/("$"/) $ "(A$A/)(B$B/) #
6
Circuitos Lgicos
A/B/" $ A/B/"/ $ AB" $ AB/" $ A/B" $ A/B/"
eliminando uno de los H t4rminos A/B/" y reordenandoG
F ! A??C? " A??C " A?C " A?C " AC
su comparacin con la ta'la de verdad nos permite enunciar la siguiente ley de
conformacinG
La primera forma cannica, puede obtenerse sumando los 1s de la
tabla de verdad y colocando en cada sumando las condiciones de las
variables que hacen 1 su producto.
Aplicando los teoremas de De Korgan a esta e*presin 9allada, se o'tiene la H
a!
forma cannica para la funcin complementada! )n efectoG
F/ # (A/B/"/ $ A/B/" $ A/B" $ AB/" $ AB")/ #
# (A/B/"/)/.(A/B/")/.(A/B")/.(AB/")/.(AB")/
F? ! (A""C)(A""C?)(A"?"C?)(A?""C?)(A?"?"C?)
La segunda forma cannica para la funcin complementada, puede
obtenerse multiplicando los 0s de la tabla de verdad de !son los
1s de " y colocando en cada producto las condiciones de las
variables que hacen 0 su suma.
6egunda formaG producto de sumasG
)n la e*presin inicial F # A/B/ $ " aplicamos la propiedad distri'utiva de la suma
respecto al productoG
F # (A/$")(B/$")
y completamos los factores sumando t4rminos de la forma V!V/ # : en las varia'les
faltantesG
F # (A/$"$BB/)(B/$"$AA/) # (A/$B$")(A/$B/$")(A$B/$")(A/$B/$")
suprimiendo el t4rmino duplicado (A/$B/$") < ya que V!V # V < quedaG
F ! (A?""C)(A?"?"C)(A"?"C)
La segunda forma cannica, puede obtenerse multiplicando los 0s de
la tabla de verdad y colocando en cada factor las condiciones de las
variables que hacen 0 su suma.
Aplicando De KorganG
F/ # ((A/$B$")(A/$B/$")(A$B/$"))/ # (A/$B$")/ $ (A/$B/$")/ $ (A$B/$")/
F? ! A?C? " AC? " A?C?
que indicaG
La primera forma cannica para la funcin complementada, puede
obtenerse sumando los 1s de la tabla de verdad de !son los 0s de
7
Circuitos Lgicos
" y colocando en cada sumando las condiciones de las variables que
hacen 1 su producto.
:. ES.ECIFICACIN $EDIANTE $A@TER$S Y $INTER$S:
6ea la funcin descripta mediante la ta'la de verdad H!MG
Tabla 2.9
A B " f 0S
: : : ; :
: : ; : ;
: ; : ; H
: ; ; ; B
; : : : @
; : ; : ?
; ; : ; M
; ; ; ; N
)n la que la columna %0S&, se gener
asignando a las columnas A, B y " los pesos @, H y ;
respectivamente y coincide con el conteo en 'inario
natural, comenLando por cero, del n(mero de filaG
0S # @ A $ H B $ "
,eyendo los mint4rminos o'tendremosG
f # A/B/"/$A/B"/$A/B"$AB"/$AB" (;
a!
forma
cannica)
y leyendo los ma*t4rminosG
f # (A$B$"/)!(A/$B$")!(A/$B$"/) (H
a!
forma cannica)
2odemos indicar a'reviadamente que en la e*presin de f aparecen los mint4r minos
n(mero :, H, B, M y N poniendoG f # m
:
$m
H
$m
B
$m
M
$m
N
o a(n m+s sint4ticamenteG
f =

( , , , , ) : HB MN
o 'ien que los ma*t4rminos involucrados son los n(meros ;,@ y ?G f # K
;
!K
@
!K
?
oG
f =

( , , ) ;@ ?
6i no dispusi4ramos de la ta'la de verdad, podramos leer las funciones escritas en
forma cannica, tomando las varia'les con sus pesos (@,H,;) y coeficientesG
; si la varia'les est+ en estado normal y : si est+ complementada en los mint4rminos
: si est+ en estado normal y ; complementada en los ma*t4rminos! AsG si en la funcin
aparece A/B", se trata del mint4rmino m
B
(@*:$H*;$;*;#B)3 en cam'io (A/$B$")
representa al ma*t4rmino K
@
(@*;$H*:$;*:#@)!
;. SI$.LIFICACIN DE FUNCIONES:
"ualquiera sea la implementacin que se efect(e de una funcin lgica, su costo
estar+ en relacin directa (aunque seguramente no lineal) a su comple1idad! 6uele ser
recomenda'le (aunque cada veL menos enf+ticamente, teniendo en cuenta las prestaciones
cada veL mayores de los c9ips que son puestos en el mercado), simplificar T esto es reducir
T las funciones, como paso previo a dic9a implementacin!
,a minimiLacin de las e*presiones, consiste en la deteccin y a'sorcin de t4rminos
de alguna de las siguientes formasG
a $ a/ # ; 3 a $ ; # ; 3 a ! a/ # : 3 a ! : # :
E2)53l- 2.':
6ea reducir la e*presin de la funcin F # A" $ B" $ A/" $ A/B/
U 6acando factor com(n " en los t4rminos ;S y BSG
F # (A$A/)" $ B" $ A/B/ # ;" $ B" $ A/B/ # " $ B" $ A/B/
U -aciendo lo mismo a9ora con los H primeros t4rminosG
8
Circuitos Lgicos
F # "(;$B) $ A/B/ # "; $ A/B/
F # A/B/ $ "
2ara sintetiLar (construir) la funcin original se requeran @ puertas %A0D& de H
entradas y una %OR& de @ entradas! ,a implementacin de la funcin una veL reducida,
requiere slo H puertas de H entradas, una %A0D& y otra V0OR& (se supone en am'as
situaciones que se dispone de las varia'les y sus complementos, ya que si no 9a'ra que
agregar en cada caso, H inversores)!
,a simplificacin no resulta, en general, tan evidente como en el e1emplo anterior! 6e
recurre entonces a los m4todos sistem+ticos analticos de reduccin de WuineIKc"lusXey
yIo a m4todos gr+ficos tales como los diagramas de Veitc9 o, m+s frecuentemente, los
mapas de Yarnaug9 en los cuales, merced a la u'icacin adecuada de los t4rminos, se
resaltan, se evidencian, las a'sorciones posi'les!
;.1 $A.AS DE AARNAUG#
6on cuadril+teros que representan la ta'la de verdad de una funcin lgica, con las
siguientes caractersticasG
)st+n divididos en tantas casillas como renglones tiene la ta'la de verdad de la
funcin a representar, o sea para n varia'les de entrada, resultan mapas de H
n
casillas!
"ada celda del mapa se corresponde con un rengln de la ta'la y contiene el
valor de la funcin para esa com'inacin de las varia'les (generalmente suelen
colocarse los ;/s y o'viarse los :/s)!
,os t4rminos que difieren en una varia'le resultan %vecinos& en la ta'la! )sta
relacin de vecindad, se entiende 9oriLontal yIo verticalmente (no diagonal) y se
complementaG en el caso de B y @ varia'les, considerando que el mapa se cierra
so're s mismo, formando un cilindro 9oriLontal o vertical, tal que se interpretan
como %lneas medianeras coincidentes& los lmites derec9o e iLquierdo y el
superior con el inferior! )n las representaciones de ? y M varia'les, las
vecindades se determinan superponiendo mapas para @ varia'les! 0o se utiliLan,
en general, para m+s de M varia'les!
6e traLa un mapa para cada funcin de salida!
De acuerdo a estas consideraciones, resultar+n mapas de @ celdas si se opera con H
varia'les3 de > celdas para B varia'les y de ;M celdas para @ varia'les! 2ara representar
funciones de ? varia'les se traLan H mapas de @ varia'les que se consideran superpuestos
y para M varia'les, de'en construirse @ mapas en una disposicin de H*H, considerados
superpuestos de a H! ,os e1emplos que siguen y la utiliLacin, clarificar+n lo enunciado
9asta aqu!
9
Circuitos Lgicos

A : ;
C
A :: :; ;; ;:
: : ; : : ; B H
;
H B
;
@ ? N M
a) 2 0a&iabl)4 A b) ' 0a&iabl)4 AC
CD " CD " CD "
A
:: :; ;; ;:
A
:: :; ;; ;:
A
:: :; ;; ;:
:: : ; B H :: : ; B H :: ;M ;N ;A ;>
:;
@ ? N M
B
:;
@ ? N M
B
:;
H: H; HB HH
B
A
;;
;H ;B ;? ;@
A
;;
;H ;B ;? ;@
A
;;
H> HA B; B:
;:
> A ;; ;:
;:
> A ;; ;:
;:
H@ H? HN HM
Kapa para ) # : Kapa para ) # ;
c) / 0a&iabl)4 ACD ,) 7 0a&iabl)4 ACDE
Fi%u&a 2./: Kapas de Yarnaug9
,os n(meros colocados en las celdas indican su correspondencia con los renglones
de las respectivas ta'las de verdad, construidas con las varia'les encolumnadas en el
orden A, B, ", !!! etc! (declaracin de varia'les)! )sta numeracin surge de tener en cuenta
el conteo en 'inario natural como se indic en el apartado N!
"uando se o'serva en el mapa la vecindad de dos ;Zs (y 9aciendo una simplificacin
por mint4rminos que es la m+s frecuente), quiere decir que es posi'le a'sor'er la varia'le
en que difieren, ya que admiten un factor com(n so're este t4rmino (del tipo V$VZ # ;)
;.1.1 L)c1u&a ,) l-4 5a3a4
)l primer paso consiste en resaltar los elementos a a'sor'er! 2ara ello, se o'servan
en el mapa los ;Zs y sus eventuales vecindades! ,os que est4n aislados (sin vecinos) pasan
tal cual a la funcin final ya que no admiten simplificacin!
,os que tengan un solo vecino (H*;), se encircular+n 1untos y esto indica que
a'sor'en ; varia'le! ,as vecindades de H*H a'sor'en H varia'les3 las de H*@ a'sor'en B
varia'les3 @*@ simplifican @ varia'les, etc! ,a idea es realiLar los encirculamientos m+s
grandes posi'les 'a1o estas condiciones!
)l proceso concluye cuando se 9an encirculado todos los ;Zs Jal menos una veLJ! )l
9ec9o de que un J;J 9aya sido incluido en m+s de un encirculamiento, significa que ese
mint4rmino fue utiliLado m+s de una veL para 9acer reducciones, lo cual es correcto
(equivale a 9a'er usado la propiedad de que V $ V $ !!! $ V # V)!
)l paso siguiente, y (ltimo, consiste en e*presar la funcin en su forma simplificada,
para lo cual se de'en leer todos los encirculamientos en t4rminos de las varia'les lgicas!
10
Circuitos Lgicos
E2)53l- 2./:
KinimiLar mediante el mapa de
Yarnaug9 la funcin dada por la ta'la de
verdad H!NG
CD
A
:: :; ;; ;:
:: ; ; ;
:;
; ; ;
B
A
;;
;
;:
; ;
Fi%u&a 2.7: Kapa de Yarnaug9 para F
Tabla 2.:
A C D F
: : : : ;
: : : ; :
: : ; : ;
: : ; ; ;
: ; : : ;
: ; : ; ;
: ; ; : ;
: ; ; ; :
; : : : ;
; : : ; :
; : ; : ;
; : ; ; :
; ; : : :
; ; : ; ;
; ; ; : :
; ; ; ; :
)n el e1emplo no 9ay ;Zs aislados! ,os t4rminos B (::;;) y ;B (;;:;) tienen un solo
vecino cada uno, que son respectivamente los mint4rminos H (::;:) y ? (:;:;)! )sto define
los H primeros encirculamientos! ,uego seguimos con los t4rminos :;:: y :;;: que son
vecinos entre s < considerando la vecindad entre la columna de la derec9a y la de la
iLquierda como si el mapa se cerrara en forma de cilindro vertical < y adem+s con casillas de
la fila superior, admitiendo un encirculamiento m+*imo de @ elementos y a'sor'iendo H
varia'les! 2ara terminar nos falta encircular los ;Zs de las esquinas, que al considerar las
vecindades entre la columna de la iLquierda y la de la derec9a que aca'amos de indicar y
entre la fila superior y la inferior (cilindro 9oriLontal), nos permite reunirlos 1untos en otro
encirculamiento de @ elementos (se a'sor'en tam'i4n aqu H varia'les)!
Finalmente la funcin simplificada ser+G
F # AZBZ" $ B"ZD $ AZDZ $ BZDZ
evidentemente muc9o m+s compacta que la funcin e*presada en la primera forma
cannicaG
F # AZBZ"ZDZ$AZBZ"DZ$AZBZ"D$AZB"ZDZ$AZB"ZD$AZB"DZ$ABZ"ZDZ$ABZ"DZ$AB"ZD
Aunque esta lectura de los ;Zs del mapa de Yarnaug9 suele ser la m+s 9a'itual,
tam'i4n es posi'le leer los :Zs, 9aciendo encirculamientos entre ellos y o'teni4ndose
entonces un resultado tipo segunda forma cannica simplificada!
6er+ instructivo verificar como e1ercicio que el resultado simplificado como producto
de sumas esG
F # (AZ$BZ$D)(B$"$DZ)(AZ$"Z$DZ)(BZ$"Z$DZ)
tam'i4n m+s compacto que la segunda forma cannicaG
F # (A$B$"$DZ)(A$BZ$"Z$DZ)(AZ$B$"$DZ)(AZ$B$"Z$DZ)(AZ$BZ$"$D)(AZ$BZ$"Z$D)(AZ$BZ$"Z$DZ)
11
Circuitos Lgicos
0tese que la primer forma cannica tiene A mint4rminos y qued simplificada en @
t4rminos, H productos de B varia'les y H de H! ,a simplificacin de la segunda forma llev la
e*presin de N ma*t4rminos a @ factores de B varia'les! ,a me1ora en este caso fue menor,
lo cual no siempre es as! )n general, conviene considerar am'as formas y elegir la que
resulte m+s simple!
<. LECTURA DE $A.AS Y TALAS CON 8ARIALE INTRODUCIDA
A veces suelen aparecer en la ta'la de verdad de una funcin, una o m+s varia'les
no e*plicitadas como varia'les de referencia! )sto conduce a ta'las m+s compactas,
aunque conteniendo, no o'stante, toda la informacin!
)s importante aprender a leer directamente los mapas con varia'les introducidas, ya
que ello nos evitar+ la construccin de los mapas con todas las varia'les e*plicitadas y
consecuentemente de mayor tamaCo!
Veremos cmo proceder, a partir de la funcin definida por la 8a'la H!>!
)s evidente que F es funcin de A, B, ", 2 y W! 2odramos e*plicitar la funcin para
los distintos valores de 2 y W, aCadiendo H columnas para estas varia'les y construyendo
as una ta'la de BH filas, cuyo contenido de informacin sera e*actamente el mismo que el
de la ta'la dada! De igual manera, el mapa con varia'le introducida es de > casillas,
mientras que si e*plicit+ramos 2 y W, de'eramos construir H mapas de ;M casillas cada
uno! 6e demuestra que la solucin se o'tiene efectuando la suma de los siguientes temsG
;) ,ectura del mapa suponiendo nulas todas las casillas con varia'le introducida
(se leen slo los ;Zs y los valores no especificados)!
H) ,ectura del mapa 9a'ilitando (activando) de a una por veL las casillas con
varia'le introducida y adecuando las otras en consecuencia, 9asta considerar
todas estas casillas!
Tabla 2.;
A C F
: : : :
: : ; ;
: ; : 2
: ; ; ;
; : : :
; : ; WZ
; ; : ;
; ; ; ;
C B
A
:: :; ;; ;:
A
:: ; ; 2
:;
W/ ; ;
"
Fi%u&a 2.9: Kapa de F
)l mapa de este e1emplo, de'e ser ledo asG
F # AZ"$AB$B2$WZ"
1=. FUNCIONES CON TBR$INOS INDIFERENTES
Algunas funciones presentan la particularidad de que ciertas com'inaciones de sus
varia'les de entrada nunca se pueden presentar, por lo que reci'en el nom're (no muy
adecuado por cierto) de funciones incompletamente especificadas o, m+s correctamente,
funciones con t(rminos indiferentes o con valores )don*t care+ (no importa)!
0o tiene sentido entonces 9a'lar del valor de la funcin para estas com'inaciones ya
que nunca se van a presentar (o no de'eran presentarse)! )n los mapas y ta'las, se les
9ace una marca distintiva (generalmente una %*&) y pueden considerarse, seg(n convenga
para o'tener implementacin mnima, como %;/s& o %:/s&!
E2)53l- 2.9:
12
Circuitos Lgicos
KinimiLar la e*presin de la funcin indicada en el mapa de Yarnaug9 de la Figura H!N!
)n a) se 9an marcado los encirculamientos tomando en cuenta slo los %;/s&, lo cual
equivale a suponer %:& los valores no especificados! ,a e*presin mnima para F en estas
condiciones ser+G
F # A/B" $ A/B/"/D $ AB"/D
CD "
A
:: :; ;; ;:
::
; *
:; * * ; ;
B
A
;; ; * *
;: *
D
a)
CD "
A
:: :; ;; ;:
::
; *
:; * * ; ;
B
A
;; ; * *
;: *
D
b)
Fi%u&a 2.:: Kapas de Yarnaug9 con valores %don/t care&
)n cam'io si utiliL+ramos los valores no especificados (*) de manera conveniente,
podramos realiLar los encirculamientos marcados en ') con lo cual la e*presin de F
resulta m+s compactaG
F # A/B $ "/D
,o cual implica 9a'er considerado como %;/s& los valores %no importa& incluidos en los
encirculamientos y como %:/s& los restantes, o seaG si se llegaran a dar los valores de las
varia'les pro9i'idos, los tomados como %:/s& no activan la funcin F (F # :) y los tomados
como %;/s& s la activan (F # ;)!
13