Estructura y Tecnol oga de Computadores I

Funci ones l gi cas -1-

FUNCI ONES LGI CAS
- Lgi ca
Rama de l a ci enci a que se encarga de l a representaci n del conoci mi ento.
Uti l i za f ormal i smos matemti cos de representaci n y cl cul o.
- l gebra de Bool e
Di seada como f ormal i smo matemti co senci l l o de representaci n del
conoci mi ento y real i zaci n de cl cul os.
Ti ene apl i caci n di recta en el cl cul o proposi ci onal (l gi ca cl si ca).
ELEMENTOS DEL LGEBRA DE BOOLE
Val ores:
V
F
I
0
: l gi ca bi val uada (bi nari a)
Constantes (el ementos de val or f i j o):
I
0
Vari abl es:
El ementos cuyo val or puede cambi ar.
Se desi gnan por l etras.
OPERACI ONES EN EL LGEBRA DE BOOLE
- Son regl as de combi naci n de el ementos que permi ten hacer cl cul os.
- Se representan medi ante operadores.
- Operaci ones bsi cas:
Adi ci n o uni n: A+B
Producto o i ntersecci n: AB
Complementacin o inversin: A, A
EXPRESI ONES
- Combi naci n de constantes, vari abl es y operadores: A B C I A (B +I)
FUNCI ONES
- Son expresi ones con vari abl es: f (A,B,C,...): f(A,B) A B + A B
- La eval uaci n de una f unci n bool eana da como resul tado una vari abl e bool eana (su
val or ser di f erente dependi endo de l os val ores de l as vari abl es que l a componen).
- Tabl as de verdad: se usan para representar l os val ores adoptados por l as f unci ones de
acuerdo con l os val ores de l as vari abl es.
- Las f unci ones l gi cas se corresponden con ci rcui tos l gi cos.
Estructura y Tecnol oga de Computadores I
Funci ones l gi cas -2-
OPERACI ONES BSI CAS EN LGEBRA DE BOOLE
Adi ci n, uni n o f unci n O (OR): f (A,B) = A+B
Producto, i ntersecci n o f unci n Y (AND): f (A,B) = AB
Complementacin, negacin o funcin NO (NOT): f(A) = A = A
- Otras operaci ones:
Funci n ON (NOR): f(A,B) A + B A B
Funci n YN (NAND): f(A,B) A B A + B
Funci n O excl usi va (XOR): f(A,B) A B A B + A B
Funci n equi val enci a (XNOR): f(A,B) A B A B A B + A B
TEOREMAS EN LGEBRA DE BOOLE
- Teorema de dual i dad: a cada l ey l gi ca l e corresponde una dual construi da
i ntercambi ando + con y 1 con 0.
- Ley de De Morgan general i zada: l a i nversa de una f unci n se obti ene compl ementando
todas l as vari abl es que aparecen en el l a e i ntercambi ando l os operadores de adi ci n y
producto.
- Teorema de l a descomposi ci n de f unci ones:
A A
0 1
1 0
A B A+B AB
0 0 0 0
0 1 1 0
1 0 1 0
1 1 1 1
A+A = 1 AA = 0 identidad
0+A=A 1A=A el emento neutro
1+A=1 0A=0
A+A=A AA=A i dempotenci a
A+B = B+A AB = BA conmutati va
A+(B+C) = (A+B)+C = A+B+C A(BC) = (AB)C = ABC asoci ati va
A+BC = (A+B) (A+C) A(B+C) = AB + AC di stri buti va
A+AB = A A(A+B) = A absorci n
(A+B) = AB (AB) = A+B De Morgan
(A) = A involucin
f(A,B,C,...) A f(I,B,C,...) A f(0,B,C,...)
f(A,B,C,...) A f(0,B,C,...) A f(I,B,C,..)
Estructura y Tecnol oga de Computadores I
Funci ones l gi cas -3-
FUNCI ONES Y PUERTAS LGI CAS
Ej : f(A,B,C) A B + C (A B)
NOT
OR NOR
AND NAND
XOR XNOR
A
B
C
f
Estructura y Tecnol oga de Computadores I
Funci ones l gi cas -4-
REPRESENTACI N DE FUNCI ONES LGI CAS
Expresi n al gebrai ca (EA)
Tabl a de verdad (TV)
Mapa de Karnaugh (MK)
REPRESENTACI N DE FUNCI ONES LGI CAS
EXPRESI ONES ALGEBRAI CAS
- Combi naci n de constantes, vari abl es y operadores.
Ej : f(A,B,C) A B C + A B + C (A B)
- La expresi n al gebrai ca de una f unci n l gi ca no es ni ca.
PRI MERA FORMA CANNI CA (1FC)
Minterm (m
i
):
Dada una f unci n l gi ca f (X
1
,X
2
,...,X
n
), un mi nterm es un trmi no de l a mi sma
consti tui do por el producto de l as n vari abl es de l a f unci n. Cada vari abl e aparece una y
sl o una vez, ya sea en su f orma normal o compl ementada.
Ej .: f (A,B,C)
Cl cul o de i: se susti tuye cada vari abl e por 1 si
est en su f orma natural , y por 0 si est en su
f orma compl ementada.
- Pri mera f orma canni ca de una f unci n:
Expresi n al gebrai ca de l a mi sma en f orma de suma de mi nterms.
Es ni ca para cada f unci n.
Ej : f(A,B,C) A B C + A B C + A B C m + m + m
4 I
- Teorema de transf ormabi l i dad: toda f unci n l gi ca puede transf ormarse en pri mera
f orma canni ca, y di cha transf ormaci n es ni ca.
Algoritmo 1: OBTENCIN DE LA PRIMERA FORMA CANNICA DE UNA
FUNCIN A PARTIR DE OTRA EXPRESIN ALGEBRAICA.
1. Reduci r l a expresi n ori gi nal a una suma de productos el emental es.
2. Si en un trmi no f al ta l a vari abl e X
i
, i ntroduci r en l l a suma X
i
+X
i
y apl i car l a
propi edad di stri buti va.
3. Repeti r el paso anteri or para todos l os trmi nos y vari abl es hasta que todos l os
trmi nos de l a f unci n sean mi nterms.
4. Apl i car l a l ey de i dempotenci a para el i mi nar mi nterms repeti dos.
m A B C
m A B C
m A B C
0
I
8
Estructura y Tecnol oga de Computadores I
Funci ones l gi cas -5-
SEGUNDA FORMA CANNI CA (2FC)
Maxterm (M
i
):
Dada una f unci n l gi ca f (X
1
,X
2
,...,X
n
), un maxterm es un trmi no de l a mi sma
consti tui do por l a suma de l as n vari abl es de l a f unci n. Cada vari abl e aparece una y
sl o una vez, ya sea en su f orma normal o compl ementada.
Ej .: f (A,B,C)
Cl cul o de i: se susti tuye cada vari abl e por 1 si
est en su f orma natural , y por 0 si est en su
f orma compl ementada.
- Segunda f orma canni ca de una f unci n:
Expresi n al gebrai ca de l a mi sma en f orma de producto de maxterms.
Es ni ca para cada f unci n.
Ej : f(A,B,C) (A + B + C) (A + B + C) (A + B + C) M M M
4 I
- Teorema de transf ormabi l i dad: toda f unci n l gi ca puede transf ormarse en segunda
f orma canni ca, y di cha transf ormaci n es ni ca.
Algoritmo 2: OBTENCIN DE LA SEGUNDA FORMA CANNICA DE UNA
FUNCIN A PARTIR DE OTRA EXPRESIN ALGEBRAICA.
1. Reduci r l a expresi n ori gi nal a un producto de sumas el emental es.
2. Si en un trmi no f al ta l a vari abl e X
i
, i ntroduci r en l el producto XiXi y apl i car l a
propi edad di stri buti va.
3. Repeti r el paso anteri or para todos l os trmi nos y vari abl es hasta que todos l os
trmi nos de l a f unci n sean maxterms.
4. Apl i car l a l ey de i dempotenci a para el i mi nar maxterms repeti dos.
RELACIN ENTRE MINTERMS Y MAXTERMS
- Ej : m A B C, m A B C A + B + C M
0 0 I
- La rel aci n exi stente entre mi nterms y maxterms es:
m M
M m
i
? I i
i
? I i
n
n
M A + B + C
M A + B + C
M A + B + C
0
?
S
Estructura y Tecnol oga de Computadores I
Funci ones l gi cas -6-
REPRESENTACI N DE FUNCI ONES LGI CAS - TABLAS DE VERDAD
- Tabl a de verdad:
1 col umna por vari abl e (n col umnas).
1 f i l a por cada combi naci n posi bl e de vari abl es (total : 2
n
f i l as).
1 col umna adi ci onal para regi strar el val or de l a f unci n segn cada
combi naci n de vari abl es.
- Total : (n+1) col umnas x 2
n
f i l as
- La tabl a de verdad de una f unci n es ni ca.
Ej :
OBTENCIN DE LA TABLA DE VERDAD DE UNA FUNCIN DESDE UNA
EXPRESI N ALGEBRAICA
- Cl cul o a parti r de l as tabl as de verdad de l as operaci ones (f unci ones) el emental es.
- Se i ntroducen col umnas adi ci onal es para cl cul os i ntermedi os.
- Ej : f(A,B,C) A B C + A B + C (A B)
- Ej : f(A,B,C) B + A C
i A B C f (i )
0 0 0 0 0
1 0 0 1 0
2 0 1 0 1
3 0 1 1 1
4 1 0 0 1
5 1 0 1 0
6 1 1 0 1
7 1 1 1 1
i A B C A B C
A B
A+B
C (A B)
f (i )
0 0 0 0 0 0 0 0 0
1 0 0 1 0 0 0 0 0
2 0 1 0 0 1 1 1 1
3 0 1 1 0 1 1 0 1
4 1 0 0 0 0 1 1 1
5 1 0 1 0 0 1 0 0
6 1 1 0 0 0 1 1 1
7 1 1 1 1 0 1 0 1
i A B C
A C
f (i )
0 0 0 0 0 0
1 0 0 1 0 0
2 0 1 0 0 1
3 0 1 1 0 1
4 1 0 0 1 1
5 1 0 1 0 0
6 1 1 0 1 1
7 1 1 1 0 1
Estructura y Tecnol oga de Computadores I
Funci ones l gi cas -7-
OBTENCIN DE LA EXPRESIN ALGEBRAI CA DE UNA FUNCIN A PARTI R
DE SU TABLA DE VERDAD: PRIMERA FORMA CANNICA
- La f i l a i est asoci ada al mi nterm i:
f(X ,X ,...,X ) f(i) m
I ? n i
i 0
? I
n
Ej :
Algoritmo 3: OBTENCIN DE LA PRIMERA FORMA CANNICA DE UNA
FUNCIN A PARTIR DE LA TABLA DE VERDAD.
La pri mera f orma canni ca se compone de l a suma de l os mi nterms asoci ados a l as f i l as
para l as que l a f unci n val e 1.
El recproco tambi n se cumpl e.
i A B C f (i ) m
i
0 0 0 0 0 m
0
1 0 0 1 0 m
1
2 0 1 0 1 m
2
3 0 1 1 1 m
3
4 1 0 0 1 m
4
5 1 0 1 0 m
5
6 1 1 0 1 m
6
7 1 1 1 1 m
7
f(A,B,C) 0 m + 0 m +I m +I m +I m + 0 m +I m +I m
m + m + m + m + m A B C A B C A B C A B C A B C
0 I ? 4 S 8 I
? 4 8 I
EA(IFC) TV
m IFC f(i) I
m IFC f(i) 0
i
i
Estructura y Tecnol oga de Computadores I
Funci ones l gi cas -8-
OBTENCIN DE LA EXPRESIN ALGEBRAI CA DE UNA FUNCIN A PARTI R
DE SU TABLA DE VERDAD: SEGUNDA FORMA CANNICA
- La f i l a i est asoci ada al maxterm 2
n
-1-i:
f(X ,X ,...,X ) f(i) M
I ? n
? -I-i
i 0
? I
n
n
Ej :
Comprobaci n:
Algoritmo 4: OBTENCIN DE LA SEGUNDA FORMA CANNICA DE UNA
FUNCIN A PARTIR DE LA TABLA DE VERDAD.
La segunda f orma canni ca se compone del producto de l os maxterms asoci ados a l as
f i l as para l as que l a f unci n val e 0.
El recproco tambi n se cumpl e.
i A B C f (i )
f(i) m M
i
? I i
n
0 0 0 0 0 1 M
7
1 0 0 1 0 1 M
6
2 0 1 0 1 0 M
5
3 0 1 1 1 0 M
4
4 1 0 0 1 0 M
3
5 1 0 1 0 1 M
2
6 1 1 0 1 0 M
1
7 1 1 1 1 0 M
0
f(A,B,C) (M + 0) (M + 0) (M +I) (M +I) (M +I)
(M + 0) (M +I) (M +I) M M M
I 8 S 4
? I 0 I 8 ?
f(A,B,C) m m m
f(A,B,C) m m m (aplicando De M organ)
m m m
M M M f(A,B,C)
0 I S
0 I S
0 I S
I 8 ?
EA(?FC) TV
M ?FC f(? -I-i) 0
M ?FC f(? -I-i) I
i
n
i
n
Estructura y Tecnol oga de Computadores I
Funci ones l gi cas -9-
Algoritmo 5: OBTENCIN DE LA SEGUNDA FORMA CANNICA DE UNA
FUNCIN A PARTIR DE LA PRIMERA FORMA CANNICA.
Algoritmo 6: OBTENCIN DE LA PRIMERA FORMA CANNICA DE UNA
FUNCIN A PARTIR DE LA SEGUNDA FORMA CANNICA.
EA(IFC) EA(?FC)
m IFC M ?FC
m IFC M ?FC
i
? -I-i
i
? -I-i
n
n
EA(?FC) EA(IFC)
M ?FC m IFC
M ?FC m IFC
i
? -I-i
i
? -I-i
n
n
Estructura y Tecnol oga de Computadores I
Funci ones l gi cas -10-
REPRESENTACI N DE FUNCI ONES LGI CAS - MAPAS DE KARNAUGH
- Mapa de Karnaugh de una f unci n de n vari abl es: tabl a de 2
n
casi l l as, cada una de el l as
asoci ada a un mi nterm (o maxterm) de f orma que al pasar de una casi l l a a otra adyacente
hori zontal o verti cal mente sl o cambi a el estado de una vari abl e.
- Mapa de dos vari abl es:
Cada casi l l a ti ene 2 veci nos:

m m m
m m m
m m m
m m m
0 I ?
I 0
? 0
I ?
,
,
,
,
- Mapa de tres vari abl es:
Cada casi l l a ti ene 3 veci nos:
m m m m
m m m m
m m m m
I 0 S
? 0 8
8 ? I 4
, ,
, ,
, ,
- Mapa de cuatro vari abl es:
Cada casi l l a ti ene 4 veci nos:
m m m m m
m m m m m
m m m m m
m m m m m
S I 4 I I
8 ? I I4 4
I 0 S 9
I0 II I4 ? 8
, , ,
, , ,
, , ,
, , ,
- Los mapas de Karnaugh obteni dos a parti r de l os mi nterms (1FC) son di sti ntos de l os
obteni dos a parti r de l os maxterms (2FC).
m
m m
m
0
2 3
1
A B
A B A B
A B
A
B
m
m m m m
m m m
0
4 5 7 6
1 3 2
A B C
A B C A B C A B C A B C
A B C A B C A B C
A
B
C
D
C
m
m
m
m
m
m
m
m
m
m
m
m
m
m
m
m
0
4
12
8
1
5
13
9
3
7
15
11
2
6
14
10
A
B
Estructura y Tecnol oga de Computadores I
Funci ones l gi cas -11-
Algoritmo 7: OBTENCIN DEL MAPA DE KARNAUGH (1FC) A PARTIR DE LA
PRIMERA FORMA CANNICA.
Algoritmo 8: OBTENCIN DEL MAPA DE KARNAUGH (2FC) A PARTIR DE LA
SEGUNDA FORMA CANNICA.
Algoritmo 9: OBTENCIN DEL MAPA DE KARNAUGH (1FC) A PARTIR DE LA
TABLA DE VERDAD.
Algoritmo 10: OBTENCIN DEL MAPA DE KARNAUGH (2FC) A PARTIR DE LA
TABLA DE VERDAD.
SI MPLI FI CACI N DE FUNCI ONES LGI CAS
- Justi f i caci n:
Se puede construi r ci rcui tos l gi cos que i mpl ementen f unci ones l gi cas.
Las expresi ones al gebrai cas de l as f unci ones l gi cas no son ni cas.
Mi entras ms senci l l a sea l a expresi n al gebrai ca de l a f unci n l gi ca, ms
rpi do y ms barato ser el ci rcui to que l a i mpl ementa.
SIMPLI FICACI N DE FUNCI ONES LGICAS A PARTIR DE EXPRESI ONES
ALGEBRAI CAS
- Se real i za apl i cando l os teoremas del l gebra de Bool e.
- Ej :

EA(IFC) M K(IFC)
m IFC c I
m IFC c 0
i i
i i
EA(?FC) M K(?FC)
M ?FC c I
M ?FC c 0
i i
i i
TV M K(IFC)
f(i) c
i
TV M K(?FC)
f(i) c
? -I-i
n
f(A,B,C) A B C + A B + C (A B)
A B C + A B + A C B C
B C + A + C) A C
B + A) (A + C)+ C A C
B A + C + C A C B A C

Estructura y Tecnol oga de Computadores I

Funci ones l gi cas -12-
SIMPLI FICACI N DE FUNCI ONES LGI CAS A PARTI R DE MAPAS DE
KARNAUGH
- Asoci aci ones:
Se ef ectan entre casi l l as adyacentes.
Desaparecen l as vari abl es que cambi an.
- Dos el ementos conti guos: desaparece una vari abl e.
Ej : MK 3 vari abl es
m + m A B C + A B C A C (B + B) A C
4 8
- Cuatro el ementos conti guos: desaparecen dos vari abl es.
Ej : MK 3 vari abl es
m + m + m + m = A B C + A B C + A B C + A B C =
= B (A C + A C + A C + A C) = B
3 2 7 6
- Ocho el ementos conti guos: desaparecen tres vari abl es.
Ej : MK 4 vari abl es
- Ej :
f(A,B,C) B + A C
f(A,B,C,D) A + B D
m + m + m + m + m + m + m + m
A B C D + A B C D + A B C D + A B C D +
+ A B C D + A B C D + A B C D + A B C D
A B C D + B C D + B C D + B C D +
+ B C D + B C D + B C D + B C D ) A
I? I IS I4 8 9 II I0

A
B
C
0 0
0 1 1 1
1 1
D
C
A
B
1 1
1 1 1 1
1 1 1 1
0 0 0 0
0 0
Estructura y Tecnol oga de Computadores I
Funci ones l gi cas -13-
- Redundanci as:
Concepto i ngeni eri l , no matemti co.
Combi naci ones i mposi bl es de vari abl es.
Se pueden consi derar como 0 1, segn convenga.
Se representan con X en l a tabl a de verdad o el mapa de Karnaugh.
- Recomendaci ones
Tomar el mni mo nmero de grupos (mni mo nmero de trmi nos).
Tomar grupos l o ms grandes posi bl e (menor nmero de vari abl es).
ORDEN DE UN CI RCUITO LGICO
- Nmero mxi mo de puertas que una vari abl e l gi ca debe atravesar a l o l argo del
ci rcui to.
SNTESIS DE CI RCUI TOS
1. Si mpl i f i car l a f unci n por Karnaugh.
2. El egi r l a f unci n de menor orden.
3. El egi r el ci ucui to con menor nmero de di odos y transi stores.
Estructura y Tecnol oga de Computadores I
Funci ones l gi cas -14-
RESUMEN
Circuito
Expresin
algebraica
ms simple
Expresin
algebraica
Primera
forma
cannica
Segunda
forma
cannica
Tabla de
verdad
Mapa de
Karnaugh
(1 F.C.)
Mapa de
Karnaugh
(2 F.C.)
EXPRESIONES
ALGEBRAICAS
MAPAS DE
KARNAUGH
SIMPLIFICACIN POR
KARNAUGH (1 F.C.)
10
9
SIMPLIFICACIN POR
KARNAUGH (2 F.C.)
7
8
4
3
5
6
1
2
TEOREMAS