INGENIERA TCNICA e n INFORMTICA de SISTEMAS y de GESTIN de la UNED

ASIGNATURA: ESTRUCTURA Y TECNOLOGA DE COMPUTADORES I

Tuto ra de l Ce ntro Aso c iado de Plase nc ia

1 9 9 4 . Febrero, primera semana.

2 0 0 1 . 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 B C D f(A, B, C, D)
0 0 0 0 X
0 0 0 1 1
0 0 1 0 1 Solucin :
0 0 1 1 1
0 1 0 0 0
CD 00 01 11 10
0 1 0 1 0
AB
0 1 1 0 0
0 1 1 1 0 00 x 1 1 1
1 0 0 0 1 01
1 0 0 1 0 11
1 0 1 0 1
10 1 1
1 0 1 1 0
1 1 0 0 0
1 1 0 1 0
1 1 1 0 0
1 1 1 1 0
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 1 Jos Garza

1 9 9 4 . 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 2

 INGENIERA TCNICA e n INFORMTICA de SISTEMAS y de GESTIN de la UNED
ASIGNATURA: ESTRUCTURA Y TECNOLOGA DE COMPUTADORES I
Tuto ra de l Ce ntro Aso c iado de Plase nc ia

Se desea disear un circuito lgico que permita realizar la tabla de verdad mostrada. Encuentre la funcin booleana ms
simple que lo caracteriza.
A B C D f(A, B, C, D)
0 0 0 0 1
0 0 0 1 0
Solucin :
0 0 1 0 1 CD 00 01 11 10
0 0 1 1 0 AB
0 1 0 0 0 00 1 1
0 1 0 1 0
0 1 1 0 0 01
0 1 1 1 0 11 1 1
1 0 0 0 1
1 0 0 1 0 10 1 1
1 0 1 0 1
1 0 1 1 0 f(A, B, C, C, D) = B D + A B C
1 1 0 0 0
1 1 0 1 0
1 1 1 0 1
1 1 1 1 1

1 9 9 4 . 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 00 01 11 10
AB
00 1 1 1
01 1 1
11 1 1
10 1 1 1 f =BC + D

1 9 9 5 . 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 00 01 11 10
AB
00 1 1
01 1 1 1 1
11 1
10 1
f = A B + A C + A C D = A (B + C) + A C D

Ejercicios de Funciones Lgicas 3 Jos Garza

1 9 9 5 . 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 D 00 01 11 10
A B
00 1 1 1 1
01 1 1 1
11 1 f = A (B + D) + C D
10 1

1 9 9 5 . 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 b2 b1 b0 f(b3, b2 , b1 , b0)
00 0 0 0 0 1
01 0 0 0 1 0 b1 b0 00 01 11 10
02 0 0 1 0 0 b3, b2
03 0 0 1 1 0 00 1
04 0 1 0 0 1 01 1
05 0 1 0 1 0
06 0 1 1 0 0 11 1
07 0 1 1 1 0 10 1
08 1 0 0 0 1
09 1 0 0 1 0
10 1 0 1 0 0 f = b1 b0
11 1 0 1 1 0
12 1 1 0 0 1
13 1 1 0 1 0
14 1 1 1 0 0
15 1 1 1 1 0

Ejercicios de Funciones Lgicas 4

 INGENIERA TCNICA e n INFORMTICA de SISTEMAS y de GESTIN de la UNED
ASIGNATURA: ESTRUCTURA Y TECNOLOGA DE COMPUTADORES I
Tuto ra de l Ce ntro Aso c iado de Plase nc ia

1 9 9 7 . Febrero. Primera semana.

2 0 0 1 . 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 f
A +B A +BC A BD CD f

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

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

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

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

b)

CD 00 01 11 10 (C + D)
AB
00 0
01 0 0 0 (B + D)
11 0 0 0 0
10 0 0 0 0 A

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

Ejercicios de Funciones Lgicas 5 Jos Garza

1 9 9 7 . 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) 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.
b) Obtenga la expresin ms simplificada posible de la funcin usando el mtodo de Karnaugh por maxterms.

nemotcnico Cdigo de operacin

move 0 0 0 0
branch 0 0 0 1
halt 0 0 1 0
shift 0 0 1 1
add 0 1 0 0
sub 0 1 0 1
mult 0 1 1 0
div 0 1 1 1
nop 1 0 0 0
in 1 0 0 1
out 1 0 1 0
cmp 1 0 1 1
and 1 1 0 0
or 1 1 0 1
not 1 1 1 0

Solucin:

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

CD 00 01 11 10 (B + C)
(B + D) AB
00 -
01 0 0 0
11 0 0 0
10

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

Ejercicios de Funciones Lgicas 6

 INGENIERA TCNICA e n INFORMTICA de SISTEMAS y de GESTIN de la UNED
ASIGNATURA: ESTRUCTURA Y TECNOLOGA DE COMPUTADORES I
Tuto ra de l Ce ntro Aso c iado de Plase nc ia

1 9 9 8 . 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.

Solucin:
b3 b2 b1 b0 Valor Aiken f
0 0 0 0 0 0
0 0 0 1 1 1
0 0 1 0 2 1
0 0 1 1 3 1
0 1 0 0 4 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 5 1
1 1 0 0 6 0
1 1 0 1 7 1
1 1 1 0 8 0
1 1 1 1 9 0

b1 b0 00 01 11 10
b 3 b2
00 1 1 1
01 - - -
11 1
10 - - 1 -

b2 b1
b1 b0

1 9 9 8 . Febrero. Segunda semana. Sistemas.

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

A BC + A BCD + A CD + A + C + A BCD

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 D 00 01 11 10
A B
00 1 1
01 1 1
11 1
10 1

A C C D

Ejercicios de Funciones Lgicas 7 Jos Garza

1 9 9 8 . 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:

1.- Encontrar los minterms ausentes: m0 + m1 + m4 + m5 + m12 + m13
2.- Complementar a 15 los subndices: 15 14 11 10 3 2

f = M2 M3 M10 M11 M14 M15

1 9 9 9 . Febrero. Segunda semana.

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.

a) m1 + m3 + m4
b) (A + C) (A + B + C)

c) A (B + C) + A C
d) AC + BC

Solucin:

Las transformaremos a suma de productos, para poder compararlas:

a) m1 + m3 + m4

b) (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 8

 INGENIERA TCNICA e n INFORMTICA de SISTEMAS y de GESTIN de la UNED
ASIGNATURA: ESTRUCTURA Y TECNOLOGA DE COMPUTADORES I
Tuto ra de l Ce ntro Aso c iado de Plase nc ia

1 9 9 9 . 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
1 9 9 9 . 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

2 0 0 0 . 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 A C D + A C D = A C

Por otra parte 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)

2 0 0 0 . 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:

1.- Encontrar los maxterms ausentes: M0 M3 M4 M6 M7 M8 M10 M11 M14
2.- Complementar a 15 los subndices: 15 12 11 9 8 7 5 4 1

f = m1 + m4 + m5 + m7 + m8 + m9 + m11 + m12 + m15

Ejercicios de Funciones Lgicas 9 Jos Garza

2 0 0 0 . 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 B C D f(A, B, C, D)
0 0 0 0 1
0 0 0 1 1
0 0 1 0 0
0 0 1 1 0 CD 00 01 11 10
0 1 0 0 1 A C
AB
0 1 0 1 -
0 1 1 0 -
00 1 1
0 1 1 1 1 01 1 - 1 -
1 0 0 0 0 11 A B
1 0 0 1 - 10 -
1 0 1 0 0
1 0 1 1 0
1 1 0 0 0
1 1 0 1 0
1 1 1 0 0
1 1 1 1 0

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

2 0 0 0 . 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:

1.- Encontrar los minterms ausentes: m1 + m2 + m4 + m5 + m6 + m8 + m10 + m11 + m13 + m14
2.- Complementar a 15 los subndices: 15 13 11 10 9 7 5 4 2 1

f = M1 M2 M4 M5 M7 M9 M10 M11 M13 M15

2 0 0 0 . Septiembre, original ( sistemas) .

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

Solucin :
A B C D f(A, B, C, D)
0 0 0 0 1
0 0 0 1 1
0 0 1 0 1 CD 00 01 11 10
0 0 1 1 1 AB
0 1 0 0 1 00 1 1 1 1
0 1 0 1 1
01 1 1 1
0 1 1 0 1
0 1 1 1 0 11 A D
1 0 0 0 0 10
1 0 0 1 0
1 0 1 0 0
1 0 1 1 0
1 1 0 0 0 A C A B
1 1 0 1 0
1 1 1 0 0
1 1 1 1 0 f(A, B, C, D) = A B + A C + A D = A (B + C + D)

Ejercicios de Funciones Lgicas 10

 INGENIERA TCNICA e n INFORMTICA de SISTEMAS y de GESTIN de la UNED
ASIGNATURA: ESTRUCTURA Y TECNOLOGA DE COMPUTADORES I
Tuto ra de l Ce ntro Aso c iado de Plase nc ia

La comprobacin la hacemos con Electronics Workbench:

2 0 0 0 . 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

2 0 0 0 . Septiembre, original ( Gestin) .

2 0 0 1 . 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=ABCD, f(1, 1, 1, 1)= m0 + m5 + m8 + m15 = 0 + 0 + 0 + 1 = 1

2 0 0 1 . 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
2 0 0 1 . Febrero, primera semana ( sistemas) .

Simplifique la funcin lgica f(A,B,C,D)= M0 M2 M4 M5 M6 M7 M8 M10 M12M13 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 B C D f(A, B, C, D)
0 0 0 0 0
0 0 0 1 0
0 0 1 0 0 CD C+D
0 0 1 1 0 AB
C+D C+D C+D
0 1 0 0 1
0 0
0 1 0 1 0 A +B
0 1 1 0 1 0 0 0 0
0 1 1 1 0 A +B
1 0 0 0 0 A +B 0 0 0 0
1 0 0 1 0
0 0
1 0 1 0 0 A +B
1 0 1 1 0
1 1 0 0 1 B
1 1 0 1 0 D
1 1 1 0 1
1 1 1 1 0

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

2 0 0 1 . 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 + 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) =
[(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

2 0 0 1 . Febrero, segunda semana ( Gestin) .

( )( )(
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 + D)
Por 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

2 0 0 1 . 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 e n INFORMTICA de SISTEMAS y de GESTIN de la UNED
ASIGNATURA: ESTRUCTURA Y TECNOLOGA DE COMPUTADORES I
Tuto ra de l Ce ntro Aso c iado de Plase nc ia

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
2 0 0 2 . 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

2 0 0 2 . 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:

1.- Encontrar los maxterms ausentes: M0 M3 M4 M6 M7 M8 M10 M11 M14 M15
2.- Complementar a 15 los subndices: 15 12 11 9 8 7 5 4 1 0

f = m0 + m1 + m4 + m5 + m7 + m8 + m9 + m11 + m12 + m15

Simplifique la siguiente expresin utilizando las leyes de Morgan y los teoremas del lgebra de Boole: ( A + B)(B + C)(C + D)
a) A + B+C.
b) AB + B.
c) B+C.
d) 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

2 0 0 2 . 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