INGENIERA TCNICA en INFORMTICA de SISTEMAS y de GESTIN de la UNED ASIGNATURA: ESTRUCTURA Y TECNOLOGA DE COMPUTADORES I Tutora del Centro Asociado de Plasencia

1994. Febrero, primera semana. 2001. Febrero, primera semana (Gestin).

Simplifique la siguiente expresin utilizando los teoremas del lgebra de Boole: (A + B) C + A + B + C + D ! C B Solucin:
* ' * ' ( A + B) ! C ! A !B ! C ! D ! (C + B) = (( A + B) ! C% ! A ! B ! C ! D ! C + A ! B ! C ! D ! B = (( A + B) ! C%"0 $ 0#= 0 ) & ) &

"

Se desea disear un circuito lgico que permita realizar la tabla de verdad mostrada (las x simbolizan indiferencias). Encuentre la funcin booleana ms simple que lo caracteriza.
A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 f(A, B, C, D) X 1 1 1 0 0 0 0 1 0 1 0 0 0 0 0

Solucin :
CD AB 00 01 11 10 1 1 00 x 01 1 11 1 10 1

f(A, B, C, C, D) = A B + B D

Comprobacin mediante computadora (programa Electronics WorkBench)

Situacin tras definir la tabla.

Respuesta tras pulsar el botn SIMP Como curiosidad, podemos ver el circuito con puertas AND, OR y NOT:

Ejercicios de Funciones Lgicas

Jos Garza

1994. Febrero. Segunda semana.

Simplifique la siguiente expresin utilizando los teoremas del lgebra de Boole: (A B + C) (A B + C D) + C + B Solucin:
A B + C + (A B + C D) + C B = A B ! C + A B C D + C B = + A + B)C + ( A + B )(C + D) + C B = A C + B C + A C + A D + B C + B D + C B = = A C + B C + A C + A D + B C + B D + C B + C B = A (C + C) + B(C + C) + C(B $ B ) $ A D + B D = A + B + C + A D + B D = A + B + C Comprobacin mediante computadora

Situacin tras definir la expresin original

Como paso intermedio, le pedimos la tabla de la verdad de la expresin original.

La simplificacin la realiza a partir de la tabla de la verdad.

Ejercicios de Funciones Lgicas

INGENIERA TCNICA en INFORMTICA de SISTEMAS y de GESTIN de la UNED ASIGNATURA: ESTRUCTURA Y TECNOLOGA DE COMPUTADORES I Tutora del Centro Asociado de Plasencia

A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

Se desea disear un circuito lgico que permita realizar la tabla de verdad mostrada. Encuentre la funcin booleana ms simple que lo caracteriza.
B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 f(A, B, C, D) 1 0 1 0 0 0 0 0 1 0 1 0 0 0 1 1

Solucin :
CD AB 00 01 11 10 1 1 1 1 00 1 01 11 10 1

f(A, B, C, C, D) = B D + A B C

1994. Septiembre.

Simplifique la siguiente expresin utilizando los teoremas del lgebra de Boole:

A ! (A + B + C) ! (A + B + C) ! (A + B + C) ! (A + B + C)

Solucin:
(A + B + C) ! A ! ( A + B + C) ! (A + B + C) ! (A + B + C) = (A + B + C)(A B + A C)(A + B + C)(A + B + C) = = (AB + AB + ABC + AC + ABC + AC)(A + B + C)(A + B + C) = (AB + ABC + AC)(A + AB + A C + BA + 0 + B C + AC + BC + 0) = = (AB + AC)(A + B C + B C) = AB + A B B C + A B B C + AC + A C B C + ABC = AB + AC + ABC = AB + AC = A(B + C)

Simplifique al mximo la siguiente funcin expresada en los minterms de las variables A, B, C y D (el orden de mayor a menor significativo es este mismo): f = m0 + m1 + m3 + m5 + m7 + m8 + m9 + m11 + m13 + m15 Solucin:
CD AB 00 01 11 10 1 00 1 01 1 1 1 1 11 1 1 1 1 10

f =BC + D

1995. Febrero. Primera semana; y examen modelo de Sistemas.

Simplifique la siguiente expresin utilizando el mtodo que crea ms conveniente:

A C + A B (C D + C + D) + A B C D + A B C D + A B C D

Solucin:
A C = A B C+ A B C = A BCD+ A BCD+ A B CD+ A B CD A B( C D + C + D) = A B C D + A B C + A B D = A B C D + A B C D + A B C D + A B C D + A B C D A B CD+ A B CD+ A B CD+ A B CD+ A B CD+ A BCD+ A BCD+ A BCD+ A BCD+ A B CD+ A B CD+ A B CD Estoy dando pasos hacia atrs, pues la expresin actual es ms compleja que la inicial. Pero lo que voy buscando en primer lugar es llegar a un punto en el cual pueda aplicar algn mtodo sistemtico de simplificacin (el basado en los diagramas de Karnaugh, en este caso).
CD AB 00 01 11 10 00 1 1 01 1 1 1 1 1 1 11 10

f = A B + A C + A C D = A (B + C) + A C D

Ejercicios de Funciones Lgicas

Jos Garza

1995. Febrero. Segunda semana.

Simplifique la siguiente expresin utilizando el mtodo que crea ms conveniente: B (A C + C D) + A(B D + B C) + B C D Solucin:
B A C+B CD+ A BD+ A BC+B CD = A B CD+ A B CD+ A B CD+ A B CD+ A B CD+ A B CD+ A BCD+ A BCD+ A BCD+ A BCD
C A B 00 01 11 10 1 1 1 1 1 1 1 1 1 D 00 01 11 10

f = A (B + D) + C D

1995. Septiembre.

Sea un sistema de representacin numrica en binario sin signo de cuatro bits b3b2b1b0 (dados de mayor a menor peso). Construya una funcin lgica que valga 1 cuando un nmero dado en dicho cdigo sea 0 o mltiplo de 4; y que valga 0 en caso contrario. Solucin :
Nmero b3 00 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

b2 b1 b0
0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

f(b3, b2 , b1 , b0) 1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 b1 b0 b3, b2 00 01 11 10 00 1 1 1 1 01 11 10

f = b1 b0

Ejercicios de Funciones Lgicas

INGENIERA TCNICA en INFORMTICA de SISTEMAS y de GESTIN de la UNED ASIGNATURA: ESTRUCTURA Y TECNOLOGA DE COMPUTADORES I Tutora del Centro Asociado de Plasencia

1997. Febrero. Primera semana. 2001. Febrero. Segunda semana (gestin).

Dada la siguiente funcin lgica de cuatro variables: f = A + B ! C + A + B ! D + C ! D a) Obtenga su tabla de la verdad, dando valores a cada una de las variables, sin necesidad de simplificar previamente. b) A partir de la tabla de la verdad, obtenga la expresin en maxterms de la funcin; y simplifquela mediante el mtodo de Karnaugh.

Solucin:
a)
A B C D

A +B
1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0

A +B!C
0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0

A
1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0

BD
0 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0

CD
1 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0

f
1 1 1 1 1 1 1 1 1 1 0 1 1 0 0 0

0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1

0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1

0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1

0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1

b)
CD AB 00 01 11 10 0 0 0 0 0 00 01 11 0 0 0 0 0 0 0 10

(C + D)

(B + D)

f = A ! (C + D) ! (B + D)

Ejercicios de Funciones Lgicas

Jos Garza

1997. Septiembre (reserva), Sistemas.

Sea un computador con un juego de quince instrucciones, cuyos cdigos de operacin se resean en la tabla. Se asegura que en un programa es imposible que aparezca una instruccin con un cdigo de operacin no vlido. a) b) Encuentre la tabla de la verdad de una funcin lgica que valga 1 si la instruccin en el registro de instruccin es aritmtica, lgica, de comparacin o de desplazamiento; y devuelva 0 en caso contrario. Obtenga la expresin ms simplificada posible de la funcin usando el mtodo de Karnaugh por maxterms.
nemotcnico move branch halt shift add sub mult div nop in out cmp and or not Cdigo de operacin 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0

Solucin:
a) nemotcnico move branch halt shift add sub mult div nop in out cmp and or not Tipo Transferencia Salto Miscelnea Desplazamiento Aritmtica Aritmtica Aritmtica Aritmtica Miscelnea E-S E-S Comparacin Lgica Lgica Lgica Cdigo de operacin A B C D 0 0 0 0 0 0 0 1 0 0 1 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 1 1 0 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 f 0 0 0 1 1 1 1 1 0 0 0 1 1 1 1 -

f = ( 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) (B $ D)
CD AB 00 01 11 10 00 0 0 0 0 0 0 01 11 10

(B + C)

f = (B + D) ! (B + C) , B $ C ! D

Ejercicios de Funciones Lgicas

INGENIERA TCNICA en INFORMTICA de SISTEMAS y de GESTIN de la UNED ASIGNATURA: ESTRUCTURA Y TECNOLOGA DE COMPUTADORES I Tutora del Centro Asociado de Plasencia

1998. Febrero. Primera semana. Sistemas.

Construir la funcin lgica f(b3, b2, b1, b0) ms simple que valga 1 cuando la entrada sea el cdigo Aiken correspondiente a una cifra decimal prima.
Valor Aiken 0 1 2 3 4 5 6 7 8 9 00 0 1 1 1 0 1 0 1 0 0 01 1 1 11 1 1 10 1 -

Solucin:
b3 b2 b1 b0
0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1

b 1 b0 b 3 b2
00 01 11 10

b1 ! b0

b2 ! b1

1998. Febrero. Segunda semana. Sistemas.

Simplifique la siguiente expresin, usando el mtodo que crea ms conveniente:

A !B!C $ A !B!C!D $ A !C!D $ A $ C $ A !B!C!D Solucin:

Por Morgan: A !B !C $ A !B !C !D $ A !C !D $ A !C $ A !B !C !D Desdoblando en minterms: A !B !C , A !B !C !D $ A !B !C !D A !C !D , A !B !C !D $ A !B !C !D A !C , A !B !C $ A !B !C , A !B !C !D $ A !B !C !D $ A !B !C !D $ A !B !C !D Eliminando trminos repetidos: f , A !B !C !D $ A !B !C !D $ A !B !C !D $ A !B !C !D $ A !B !C !D $ A !B !C !D

C A B
00 01 11 10

00 1 1

01 1 1 1 1

11

10

A !C

C !D

Ejercicios de Funciones Lgicas

Jos Garza

1998. Septiembre, original (sistemas).

Encuentre las expresiones cannicas de la funcin f (A, B, C, D) , A ! B $ C .

Solucin:
Desdoblando en minterms: A !B , A !B !C $ A !B !C , A !B !C !D $ A !B !C !D $ A !B !C !D $ A !B !C !D C , A !C $ A !C A !C , A !B !C $ A !B !C , A !B !C !D $ A !B !C !D $ A !B !C !D $ A !B !C !D A !C , A !B !C $ A !B !C , A !B !C !D $ A !B !C !D $ A !B !C !D $ A !B !C !D Eliminando trminos repetidos: f , 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 $ A !B !C !D f = m2 + m3 + m6 + m7 + m8 + m9 + m10 + m11 + m14+ m15 Para pasar a la expresin en maxterms, llevamos acabo estos dos pasos: m1 + m4 + m5 + 1.- Encontrar los minterms ausentes: m0 + 2.- Complementar a 15 los subndices: 15 14 11 10 f = M2 ! M3 ! M10 ! M11 ! M14 ! M15 1999. Febrero. Segunda semana. m12 + 3 m13 2

a) b) c) d)

Encuentre cul de las cuatro funciones lgicas de tres variables f(A, B, C) dadas a continuacin representa una funcin lgica diferente de las otras tres. m1 + m3 + m4
(A $ C) ! (A $ B $ C)

A ! (B $ C) $ A ! C A!C $ B!C

Solucin:
Las transformaremos a suma de productos, para poder compararlas: a) b) m1 + m3 + m4 (A $ C) ! ( A $ B $ C) , A $ C $ A $ B $ C , A ! C $ A ! B ! C , A ! B ! C $ A ! B ! C $ A ! B ! C , m1 $ m3 $ m4 A ! (B $ C) $ A ! C , A ! (B $ C) ! A ! C , ( A $ (B $ C)) ! (A $ C) , ( A $ B ! C) ! (A $ C) , A ! A $ A ! C $ A ! B ! C $ C ! B ! C b) A !C $ A !B !C , A ! B ! C $ A ! B ! C $ A ! B ! C , m1 $ m3 $ m 4 c)

A ! C $ B ! C , A ! B ! C $ A ! B ! C $ A ! B ! C $ A ! B ! C , m0 $ m1 $ m3 $ m4 Esta es la diferente.

Ejercicios de Funciones Lgicas

INGENIERA TCNICA en INFORMTICA de SISTEMAS y de GESTIN de la UNED ASIGNATURA: ESTRUCTURA Y TECNOLOGA DE COMPUTADORES I Tutora del Centro Asociado de Plasencia

1999. Septiembre, Sistemas.

Simplifique la siguiente expresin utilizando los teoremas del lgebra de Boole:

(A ! B $ A ! C ! C $ A ! B $ A ! B ! C ! B $ A ! B)(A ! C $ A ! C $ C) Solucin:
Suprimiendo los productos de una variable por su negacin: (A ! B $ A ! B $ A ! B )(A ! C $ A ! C $ C) Aplicando la propiedad distributiva (sacando factor comn): A ! (B $ B ) $ A ! B (A $ A ) ! C $ A C $ C Cualquier variable ms su negada produce un 1:

"

#"

"A ! (1) $ A ! B#"(1) ! C $ AC $ C# , "A $ A ! B#"C $ AC $ C# , (A $ A ! B)(1 $ AC) , (A $ A ! B)(1) , A $ A ! B

1999. Septiembre, original (gestin).

Simplifique la siguiente expresin utilizando los teoremas del lgebra de Boole:

( A ! B ! C $ B $ C) ! ( A ! C $ B) $ A

Solucin:
( A ! B ! C $ B $ C) ! ( A ! C $ B) $ A , ( A ! B ! C $ B $ C) ! ( A ! C $ B) ! A , (( A ! B ! C $ B $ C) $ ( A ! C $ B)) ! A , (( A ! B ! C ! B ! C) $ A ! C ! B ) ! A , (A ! B ! C ! B ! C $ A ! C ! B ) ! A , A ! A ! B ! C ! B ! C $ A ! A ! C ! B , A ! B ! C $ A ! B ! C

2000. Febrero, primera semana (sistemas).

Simplifique la siguiente expresin utilizando los teoremas del lgebra de Boole: (A + C $ D) ! (B $ C $ D) ! (A ! B $ C $ D) Solucin:
A ! C ! D $ B ! C ! D $ (A ! B ) ! C ! D , A ! C ! D $ B ! C ! D $ ( A $ B) ! C ! D , A ! C ! D $ B ! C ! D $ A ! C ! D $ B ! C ! D Por una parte Por otra parte A !C !D $ A !C !D , A !C B !C !D $ B !C !D , C !D

As pues: (A + C $ D) ! (B $ C $ D) ! (A ! B $ C $ D) , A ! C $ C ! D , C ! ( A $ D) 2000. Febrero, primera semana (gestin).

Obtenga la expresin en minterms de la funcin f(A, B, C, D) = M1 ! M2 ! M4 ! M5 ! M7 ! M9 ! M10 ! M11 ! M13 ! M15

Solucin :
Para pasar a la expresin en minterms, llevamos acabo estos dos pasos: M3 ! M4 ! M6 ! 1.- Encontrar los maxterms ausentes: M0 ! 2.- Complementar a 15 los subndices: 15 12 11 9 f = m1 + m4 + m5 + m7 + m8 + m9 + m11 + m12 + m15 M7 ! 8 M8 ! 7 M10 ! 5 M11 ! 4 M14 1

Ejercicios de Funciones Lgicas

Jos Garza

2000. Febrero, segunda semana (sistemas).

Se desea disear un circuito lgico que permita realizar la tabla de la verdad mostrada a la derecha (donde - significa que la funcin f puede tomar cualquier valor). Encuentre la funcin booleana que permite hacerlo.
A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 f(A, B, C, D) 1 1 0 0 1 1 0 0 0 0 0 0 0

CD AB

00

01

11

10

A !C

00 01 11 10

1 1

1 -

A !B

f(A, B, C, D) = A ! B + A ! C

2000. Febrero, segunda semana (gestin).

Obtenga la expresin en maxterms de la funcin f(A, B, C, D) = m0 + m3 + m7 + m9 + m12 + m15.

Solucin :
Para pasar a la expresin en maxterms, llevamos acabo estos dos pasos: m2 + m4 + m5 + 1.- Encontrar los minterms ausentes: m1 + 2.- Complementar a 15 los subndices: 15 13 11 10 f = M1 ! M2 ! M4 ! M5 ! M7 ! M9 ! M10 ! M11 ! M13 ! M15 m6 + 9 m8 + 7 m10 + 5 m11 + 4 m13 + 2 m14 1

2000. Septiembre, original (sistemas).

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

Minimice la funcin lgica f(A,B,C,D)=m0 + m1 + m2 + m3 + m4 + m5 + m6.

Solucin :
C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 f(A, B, C, D) 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0

CD AB 00 01 11 10

00 1 1

01 1 1

11 1

10 1 1

A !D

A !C

A !B
f(A, B, C, D) = A ! B + A ! C $ A ! D , A ! (B + C + D)

Ejercicios de Funciones Lgicas

10

INGENIERA TCNICA en INFORMTICA de SISTEMAS y de GESTIN de la UNED ASIGNATURA: ESTRUCTURA Y TECNOLOGA DE COMPUTADORES I Tutora del Centro Asociado de Plasencia

La comprobacin la hacemos con Electronics Workbench:

2000. Septiembre, original (Gestin).

Escriba la funcin f(A, B, C) , A ! B $ C como suma de minitrminos (minterms). Solucin:

f(A, B, C) , A $ B ! (B $ C) , A $ B $ B $ C , ( A $ B) $ (B ! C) , A $ B $ B ! C Por una parte: A ! B , A ! B ! (C $ C) , A ! B ! C $ A ! B ! C , m2 $ m3 Por otra parte: C , ( A $ A) ! (B $ B) ! C , ( A ! B $ A ! B $ A ! B $ A ! B) ! C , A ! B ! C $ A ! B ! C $ A ! B ! C $ A ! B ! C , m1 $ m3 $ m5 $ m7 Por tanto: f , m1 $ m2 $ m3 $ m5 $ m7 , A ! B ! C $ A ! B ! C $ A ! B ! C $ A ! B ! C $ A ! B ! C

2000. Septiembre, original (Gestin). 2001. Febrero, primera semana (Gestin).

Cunto vale la funcin lgica f(A,B,C,D)=m0 + m5 + m8 + m15 cuando A=B=C=D=1?. Solucin:

Como m15=A!B!C!D, f(1, 1, 1, 1)= m0 + m5 + m8 + m15 = 0 + 0 + 0 + 1 = 1

2001. Febrero, primera semana (Gestin).

Escriba la funcin f(A, B, C) , A $ B ! B $ C como suma de minitrminos (minterms). Solucin:

f(A, B, C) , A $ B ! (B $ C) , A $ B $ B $ C , ( A $ B) $ (B ! C) , A $ B $ B ! C Por una parte: A , A ! (B $ B) ! (C $ C) , A ! (B ! C $ B ! C $ B ! C $ B ! C) , A ! B ! C $ A ! B ! C $ A ! B ! C $ A ! B ! C , m 4 $ m5 $ m6 $ m7 Por otra parte: B , B ! ( A $ A) ! (C $ C) , B ! ( A ! C $ A ! C $ A ! C $ A ! C) , B ! A ! C $ B ! A ! C $ B ! A ! C $ B ! A ! C , A ! B ! C $ A ! B ! C $ A ! B ! C $ A ! B ! C , m2 $ m3 $ m6 $ m7 Por otra parte: B ! C , ( A $ A) ! B ! C , A ! B ! C $ A ! B ! C , m0 $ m4
Ejercicios de Funciones Lgicas 11 Jos Garza

Por tanto:

f , m0 $ m2 $ m3 $ m4 $ m5 $ m6 $ m7

2001. Febrero, primera semana (sistemas).

Simplifique la funcin lgica f(A,B,C,D)= M0 ! M2 ! M4 ! M5 ! M6 ! M7 ! M8 ! M10 ! M12!M13 ! M14 ! M15:

Solucin:
f(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) ! (A $ B $ C $ D) ! (A $ B $ C $ D) ! (A $ B $ C $ D) ! (A $ B $ C $ D)
A 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 B 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 C 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 D 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 f(A, B, C, D) 0 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0

CD AB

C$D 0 0 0 0

C$D

C$D

C$D 0

A $B A $B A $B A $B

0 0

0 0

0 0 0

f(A, B, C, D) = B $ D

2001. Febrero, segunda semana (sistemas).

Sea la funcin lgica de tres variables f(A,B,C)= A ! B $ C ! A ! B $ B ! C . Encuentre una forma cannica.

Solucin:

"(A $ B $ B ) ! (A $ B $ C)#! "(C $ A $ B $ B ) ! ((C $ A $ B $ C)#, "(A $ B $ B ) ! (A $ B $ C)#! "1! 1# , (A $ B ) ! (A $ B $ C) ,

(A $ B $ 0 ) ! (A $ B $ C) , (A $ B $ C ! C) ! (A $ B $ C) , (A $ B $ C ) ! (A $ B $ C) ! (A $ B $ C) , (A $ B $ C ) ! (A $ B $ C) , M4 ! M5 2001. Febrero, segunda semana (Gestin).

A ! B $ C ! A ! B $ B ! C , A ! B ! C ! A ! B $ B ! C , (A $ B) ! (C $ A $ B) $ B ! C , (A $ B $ B ! C) ! (C $ A $ B $ B ! C) ,

Dada la funcin A $ C $ D ! A $ B + D ! A $ B + C ! A $ B + C Solucin:

-+

-+

-+

+A $ C $ D- , +A $ C $ D- $ +B ! B- , +A $ C $ D $ B-! +A $ C $ D $ B- , +A $ B $ C $ D-! +A $ B $ C $ D+A $ B $ D- , +A $ B $ D- $ +C ! C- , +A $ B $ D $ C-! +A $ B $ D $ C- , +A $ B $ C $ D-! +A $ B $ C $ D+A $ B $ C- , +A $ B $ C- $ +D ! D- , +A $ B $ C $ D-! +A $ B $ C $ D+A $ B $ C- , +A $ B $ C- $ +D ! D- , +A $ B $ C $ D-! +A $ B $ C $ DPor tanto:

+A $ C $ D-! +A $ B $ D-! +A $ B $ C-! +A $ B $ C- , +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- ,

M0 ! M4 ! M1 ! M3 ! M8 ! M9 ! M12 ! M13 , M0 ! M1 ! M3 ! M4 ! M8 ! M9 ! M12 ! M13

2001. Septiembre, original (sistemas).

Sea la funcin lgica de tres variables f(A,B,C)= A ! B $ C ! A ! B ! B $ C . Encuentre una forma cannica. Solucin:
Ejercicios de Funciones Lgicas 12

-+

INGENIERA TCNICA en INFORMTICA de SISTEMAS y de GESTIN de la UNED ASIGNATURA: ESTRUCTURA Y TECNOLOGA DE COMPUTADORES I Tutora del Centro Asociado de Plasencia

A ! B ! B $ A ! B ! C $ C ! A ! B ! B $ C ! A ! B ! C , A ! B $ A ! B ! C $ 0 $ 0 , A ! B ! (C $ C) $ A ! B ! C , A ! B ! C $ A ! B ! C $ A ! B ! C , A ! B ! C $ A ! B ! C , m2 $ m3 2002. Febrero, primera semana (sistemas).

Hallar la 2 forma cannica de la siguiente funcin f(A,B): f(A,

B) , A $ AB

Solucin:
f(A, B) , A $ AB , AAB , A( A $ B) , ( A $ 0)( A $ B) , ( A $ BB)( A $ B) , ( A $ B)(A $ B)( A $ B) , M2M3 M1

2002. Febrero, primera semana (gestin).

Obtener la expresin en minterms de la funcin: f(A, B, C, D) = M1 M2 M5 M9 M12 M13

Solucin:
Para pasar a la expresin en minterms, llevamos acabo estos dos pasos: M3 ! M4 ! M6 ! 1.- Encontrar los maxterms ausentes: M0 ! 2.- Complementar a 15 los subndices: 15 12 11 9 f = m0 + m1 + m4 + m5 + m7 + m8 + m9 + m11 + m12 + m15 M7 ! 8 M8 ! 7 M10 ! 5 M11 ! 4 M14 ! 1 M15 0

a) b) c) d)

Simplifique la siguiente expresin utilizando las leyes de Morgan y los teoremas del lgebra de Boole: ( A $ B)(B $ C)(C $ D) A + B+C. AB + B. B+C. A+B+C.

Solucin:
( A $ B)(B $ C)(C $ D) , ( A $ B) $ (B $ C) $ (C $ D) , ( A $ B) $ (B $ C) $ (C $ D) , ( AB) $ (B $ C) $ (C $ D) , ( AB) $ (B $ C) $ (CD) , ( AB) $ B $ C $ CD , ( AB) $ (B $ C) , ( A $ B $ C)(B $ B $ C ) , ( A $ B $ C)(1 ) , A $ B $ C

2002. Febrero, segunda semana (sistemas).

Simplifique la siguiente funcin f(A, B, C): f(A,

B, C) , (A $ AB ) (B $ AC(B $ AC) $ B

Solucin:
f(A, B, C) , (A $ AB ) $ (B $ AC(B $ AC) $ B , (A $ AB ) $ (B $ B $ AC(B $ AC) , (A $ AB ) $ (1 $ AC(B $ AC) , (A $ AB ) $ 1 , (A $ AB ) $ 0 , (A $ AB ) , A( AB ) , A( A $ B) , A A $ AB , A $ AB , A 1 $ AB , A(1 $ B) , A(1) , A

Ejercicios de Funciones Lgicas

13

Jos Garza