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

00

01

11
1

10
1

11
10

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

Se desea disear un circuito lgico que permita realizar la tabla de verdad mostrada. 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)
1
0
1
0
0
0
0
0
1
0
1
0
0
0
1
1

Solucin :
CD
AB
00

00

01

11

10
1

01
11
10

1
1

1
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

00

01

11

01

11

10

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

00

01

11

10

Ejercicios de Funciones Lgicas

10

1
1
1

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

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

00

01

11

10

1
1
1
1

1
1

1
1

B
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

b2 b1 b0

00
01
02
03
04
05
06
07
08
09
10
11
12
13
14
15

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

0
0
0
0
0
0
0
0
1
1
1
1
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

Ejercicios de Funciones Lgicas

f(b3, b2 , b1 , b0)
1
0
0
0
1
0
0
0
1
0
0
0
1
0
0
0

b1 b0

00

b3, b2
00

01

11

10

01

f = b1 b0

11

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

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

0
0
0
0

0
0
0
0

0
0
1
1

0
0
0
0

1
1
1
1

1
1
1
1
1
1
1
1

A +B

A +BC

BD

CD

0
1
0
1

1
1
1
1

0
0
1
1

1
1
1
1

0
1
0
1

1
0
0
0

1
1
1
1

0
0
0
0

0
0
1
1

0
1
0
1

0
0
0
0

0
0
0
0

1
1
1
1

0
0
0
0

1
0
0
0

1
1
1
1

0
0
0
0

0
0
0
0

0
0
1
1

0
1
0
1

0
0
0
0

0
0
0
0

0
0
0
0

0
1
0
1

1
0
0
0

1
1
0
1

0
0
1
0

1
1
1
1

0
0
1
1

0
1
0
1

0
0
0
0

0
0
0
0

0
0
0
0

0
0
0
0

1
0
0
0

1
0
0
0

0
1
1
1

b)
CD

00

01

10

(C + D)

(B + D)

0
0

0
0

11

AB
00

01

11
10

0
0

0
0

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

Tipo

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

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

00

01

11

01

11

10

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

Ejercicios de Funciones Lgicas

10

(B + C)

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.

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

Valor Aiken

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

b 1 b0

0
1
2
3
4
5
6
7
8
9

f
0
1
1
1
0
1
0
1
0
0

00

01

11

10

1
-

1
-

1
1
-

b 3 b2
00
01
11
10

b2 b1

b1 b0

1998. 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
A

00

01

1
1

1
1
1
1

11

10

B
00
01
11
10

A C

Ejercicios de Funciones Lgicas

C D

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

m12 +
3

m13
2

f = M2 M3 M10 M11 M14 M15

1999. 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

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

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)
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

M7
8

M8
7

M10
5

M11
4

M14
1

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

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

00

01

11

10

1
1

1
-

AB

00
01
11
10

A C

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

m6 +
9

m8 +
7

m10 +
5

m11 +
4

m13 +
2

m14
1

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

2000. Septiembre, original (sistemas).

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

Solucin :
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
1
1
1
1
1
0
0
0
0
0
0
0
0
0

Ejercicios de Funciones Lgicas

CD
AB
00
01

00

01

11

10

1
1

1
1

1
1

A D

11
10

A B

A C

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

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=ABCD, 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

f = m0 + m2 + m3 + m4 + m5 + m6 + m7

Por tanto:

2001. 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
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

C+D

C+D

C+D

A +B

A +B
A +B

0
0

0
0

A +B

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 + 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
2001. 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

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

M7
8

M8
7

M10
5

M11
4

M14
1

M15
0

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

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