Ejercicios de Funciones Lgicas 1

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
Jos Garza
1 9 9 4 . Feb rero , p rim era sem an a.
2 0 0 1 . Feb rero , p rim era sem an a (G esti n ).

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

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


Solucin :








CD
A B
00 01 11 10
00 x 1 1 1
01

11

10 1

1

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

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:


1 9 9 4 . Feb rero . Segu n d a sem an a.

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

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

Ejercicios de Funciones Lgicas 3


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

Solucin :







CD
A B
00 01 11 10
00 1

1
01

11

1 1
10 1

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




1 9 9 4 . Sep tiem b re.

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:
C) + A(B = AC + AB = ABC + AC + AB = ABC + C B C A + AC + C B B A + C B B A + AB = C) B + C B + AC)(A + (AB =
= 0) + BC + AC + C B + 0 + A B + C A + AB + AC)(A + ABC + (AB = ) C + B + C)(A + B + AC)(A + ABC + AC + ABC + AB + (AB =
= ) C + B + C)(A + B + C)(A A + B C)(A + B + (A = ) C + B + (A C) + B + (A C) + B + A ( A C) + B + (A ! ! ! !


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 = m
0
+ m
1
+ m
3
+ m
5
+ m
7
+ m
8
+ m
9
+ m
11
+ m
13
+ m
15

Solucin:


CD
A B
00 01 11 10
00 1 1 1

01

1 1

11

1 1

10 1 1 1





f = B C + D


1 9 9 5 . Feb rero . Prim era sem an a; y exam en m o d elo d e Sistem as.

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:
D C B A + D C B A + D C B A + D C B A + D C B A + D C B A + D C B A + D C B A + D C B A + D C B A + D C B A + D C B A
D C B A + D C B A + D C B A + D C B A + D C B A = D B A + C B A + D C B A = D) + C + D C B( A
D C B A + D C B A + D C B A + D C B A = C B A + C B A = C A


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






D C A + C) + (B A = D C A + C A + B A = f
CD
A B
00 01 11 10
00 1 1

01 1 1 1 1
11

1
10

1


1 9 9 5 . Feb rero . Segu n d a sem an a.

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

1 9 9 5 . Sep tiem b re.

Sea un sistema de representacin numrica en binario sin signo de cuatro bits b
3
b
2
b
1
b
0
(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 :








0
b
1
b = f




Nmero b
3
b
2
b
1
b
0

f(b
3
, b
2
, b
1
, b
0
)
00 0 0 0 0
01 0 0 0 1
02 0 0 1 0
03 0 0 1 1
04 0 1 0 0
05 0 1 0 1
06 0 1 1 0
07 0 1 1 1
08 1 0 0 0
09 1 0 0 1
10 1 0 1 0
11 1 0 1 1
12 1 1 0 0
13 1 1 0 1
14 1 1 1 0
15 1 1 1 1
1
0
0
0
1
0
0
0
1
0
0
0
1
0
0
0
b
1
b
0

b
3
, b
2

00 01 11 10
00 1

01 1

11 1

10 1

D C + D) + B ( A = f


































Ejercicios de Funciones Lgicas 4

Ejercicios de Funciones Lgicas 5


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
Jos Garza

1 9 9 7 . Feb rero . Prim era sem an a.
2 0 0 1 . Feb rero . Segu n d a sem an a (gesti n ).

Dada la siguiente funcin lgica de cuatro variables: D C + D B + A + B + A = f ! ! ! C
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
B + A
C B + A ! A D B D C f
f

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

1
1
1
1

0
0
0
0

0
0
0
0

0
0
0
0

0
0
1
1

0
0
0
0

0
0
0
0

0
0
0
0

1
1
1
1

1
1
1
1

0
0
0
0

0
0
0
0

0
1
0
1

0
0
0
0

0
1
0
1

0
0
0
0

1
0
0
0

1
0
0
0

1
0
0
0

1
0
0
0

1
1
1
1

1
1
1
1

1
1
0
1

1
0
0
0

0
0
0
0

0
0
0
0

0
0
1
0

0
1
1
1

b)








) D + (B D) + (C A = f ! !
CD
A B
00 01 11 10
00

0

01 0

0 0
11 0 0 0 0
10 0 0 0 0
D) + (C
A
) D + (B




























1 9 9 7 . Sep tiem b re (reserva), Sistem as.

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.


Ejercicios de Funciones Lgicas 6

nemotcnico Cdigo de operacin
move
branch
halt
shift
add
sub
mult
div
nop
in
out
cmp
and
or
not
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
nemotcnico Tipo Cdigo de operacin
A B C D
f
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

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














Solucin:

a)


















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


b)

CD
A B
00 01 11 10
00 -

01

0 0 0
11

0 0 0
10

D) (B $
C) + (B







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











Ejercicios de Funciones Lgicas 7


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
Jos Garza
1 9 9 8 . Feb rero . Prim era sem an a. Sistem as.

Construir la funcin lgica f(b
3
, b
2
, b
1
, b
0
) ms simple que valga 1 cuando la entrada sea el cdigo Aiken correspondiente a
una cifra decimal prima.

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

b
1
b
0

b
3
b
2

00 01 11 10
00 1 1 1
01 - - -
11 1
10 - - 1 -




0
b
1
b !
1
b
2
b !



1 9 9 8 . Feb rero . Segu n d a sem an a. Sistem as.

Simplifique la siguiente expresin, usando el mtodo que crea ms conveniente:
D C B A C A D C A D C B A C B A ! ! ! $ $ $ ! ! $ ! ! ! $ ! !

Solucin:

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


C D
A B
00 01 11 10
00 1 1
01 1 1
11 1
10 1



D C!
C A !








1 9 9 8 . Sep tiem b re, o rigin al (sistem as).

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

Solucin:

Desdoblando en minterms:
D C B A D C B A D C B A D C B A C B A C B A B A ! ! ! $ ! ! ! $ ! ! ! $ ! ! ! , ! ! $ ! ! , !
C A C A C ! $ ! ,
D C B A D C B A D C B A D C B A C B A C B A C A ! ! ! $ ! ! ! $ ! ! ! $ ! ! ! , ! ! $ ! ! , !
D C B A D C B A D C B A D C B A C B A C B A C A ! ! ! $ ! ! ! $ ! ! ! $ ! ! ! , ! ! $ ! ! , !

Eliminando trminos repetidos:
D C B A D C B A D C B A D C B A D C B A
D C B A D C B A D C B A D C B A D C B A f
! ! ! $ ! ! ! $ ! ! ! $ ! ! ! $ ! ! !
$ ! ! ! $ ! ! ! $ ! ! ! $ ! ! ! $ ! ! ! ,


f = m
2
+ m
3
+ m
6
+ m
7
+ m
8
+ m
9
+ m
10
+ m
11
+ m
14
+ m
15


Para pasar a la expresin en maxterms, llevamos acabo estos dos pasos:
1.- Encontrar los minterms ausentes: m
0
+ m
1
+ m
4
+ m
5
+ m
12
+ m
13

2.- Complementar a 15 los subndices: 15 14 11 10 3 2

f = M
2
! M
3
! M
10
! M
11
! M
14
! M
15



1 9 9 9 . Feb rero . Segu n d a sem an a.

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) m
1
+ m
3
+ m
4

b) C) B A ( ) C (A $ $ ! $
c) C A C) (B A ! $ $ !
d) C B C A ! $ !

Solucin:

Las transformaremos a suma de productos, para poder compararlas:

a) m
1
+ m
3
+ m
4


b)
4
m
3
m
1
m C B A C B A C B A C B A C A C B A C A C) B A ( ) C (A $ $ , ! ! $ ! ! $ ! ! , ! ! $ ! , $ $ $ $ , $ $ ! $

b)
4
m
3
m
1
m C B A C B A C B A
C B A C A
C B C C B A C A A A C) (A ) C B A ( C) (A )) C B ( A ( C A C) (B A C A C) (B A
$ $ , ! ! $ ! ! $ ! !
, ! ! $ !
! ! $ ! ! $ ! $ ! , $ ! ! $ , $ ! $ $ , ! ! $ ! , ! $ $ !


c)
4
m
3
m
1
m
0
m C B A C B A C B A C B A C B C A $ $ $ , ! ! $ ! ! $ ! ! $ ! ! , ! $ ! Esta es la diferente.














Ejercicios de Funciones Lgicas 8

Ejercicios de Funciones Lgicas 9


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
Jos Garza

1 9 9 9 . Sep tiem b re, Sistem as.

Simplifique la siguiente expresin utilizando los teoremas del lgebra de Boole:
C) C A C )(A B A B C B A B A C C A B (A $ ! $ ! ! $ ! ! ! $ ! $ ! ! $ !

Solucin:
Suprimiendo los productos de una variable por su negacin: C) C A C )(A B A B A B (A $ ! $ ! ! $ ! $ !
#" # Aplicando la propiedad distributiva (sacando factor comn): " C C A C ) A (A B A ) B (B A $ $ ! $ ! $ $ !

Cualquier vari ble ms su negada produce un 1: a
" #" # " #" # B A A B)(1) A (A ) C A B)(1 A (A C C A C B A A C C A C (1) B A (1) A ! $ , ! $ , $ ! $ , $ $ ! $ , $ $ ! ! $ !


1 9 9 9 . Sep tiem b re, o rigin al (gesti n ).

Simplifique la siguiente expresin utilizando los teoremas del lgebra de Boole:
A B) C A ( C) B C B A ( $ $ ! ! $ $ ! !

Solucin:

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




2 0 0 0 . Feb rero , p rim era sem an a (sistem as).

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

Por una parte C A D C A D C A ! , ! ! $ ! !

Por otra parte D C D C B D C B ! , ! ! $ ! !

As pues: D) A ( C D C C A ) D C B (A ) D C (B D) C + $ ! , ! $ ! , $ $ ! ! $ $ ! $ (A

2 0 0 0 . Feb rero , p rim era sem an a (gesti n ).

Obtenga la expresin en minterms de la funcin f(A, B, C, D) = M
1
! M
2
! M
4
! M
5
! M
7
! M
9
! M
10
! M
11
! M
13
! M
15


Solucin :

Para pasar a la expresin en minterms, llevamos acabo estos dos pasos:
1.- Encontrar los maxterms ausentes: M
0
! M
3
! M
4
! M
6
! M
7
! M
8
! M
10
! M
11
! M
14

2.- Complementar a 15 los subndices: 15 12 11 9 8 7 5 4 1

f = m
1
+ m
4
+ m
5
+ m
7
+ m
8
+ m
9
+ m
11
+ m
12
+ m
15















2 0 0 0 . Feb rero , segu n d a sem an a (sistem as).

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.















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




2 0 0 0 . Feb rero , segu n d a sem an a (gesti n ).

Obtenga la expresin en maxterms de la funcin f(A, B, C, D) = m
0
+ m
3
+ m
7
+ m
9
+ m
12
+ m
15
.

Solucin :

Para pasar a la expresin en maxterms, llevamos acabo estos dos pasos:
1.- Encontrar los minterms ausentes: m
1
+ m
2
+ m
4
+ m
5
+ m
6
+ m
8
+ m
10
+ m
11
+ m
13
+ m
14

2.- Complementar a 15 los subndices: 15 13 11 10 9 7 5 4 2 1

f = M
1
! M
2
! M
4
! M
5
! M
7
! M
9
! M
10
! M
11
! M
13
! M
15



2 0 0 0 . Sep tiem b re, o rigin al (sistem as).

Minimice la funcin lgica f(A,B,C,D)=m
0
+ m
1
+ m
2
+ m
3
+ m
4
+ m
5
+ m
6
.

Solucin :













) + + ( + = D C B A D A C A B A D) C, B, f(A, ! , ! $ ! !
A B C D f(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
1
1
0
0
1
-
-
1
0
-
0
0
0
0
0
0
CD
A B
00 01 11 10
00 1 1
01 1 - 1 -
11
10 -
CD
A B
00 01 11 10
00 1 1 1 1
01 1 1

1
11
10
C A !
B A !
C A !
D A !
B A !
A B C D f(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
1
1
1
1
1
1
1
0
0
0
0
0
0
0
0
0







Ejercicios de Funciones Lgicas 10

Ejercicios de Funciones Lgicas 11


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
Jos Garza



La comprobacin la hacemos con Electronics Workbench:



2 0 0 0 . Sep tiem b re, o rigin al (G esti n ).

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

Por una parte:
3
m
2
m C B A C B A C) C ( B A B A $ , ! ! $ ! ! , $ ! ! , !

Por otra parte:
7
m
5
m
3
m
1
m C B A C B A C B A C B A C B) A B A B A B A C B) B ( A) A ( C $ $ $ , ! ! $ ! ! $ ! ! $ ! ! , ! ! $ ! $ ! $ ! , ! $ ! $ , (

Por tanto: C B A C B A C B A C B A C B A
7
m
5
m
3
m
2
m
1
m f ! ! $ ! ! $ ! ! $ ! ! $ ! ! , $ $ $ $ ,



2 0 0 0 . Sep tiem b re, o rigin al (G esti n ).
2 0 0 1 . Feb rero , p rim era sem an a (G esti n ).

Cunto vale la funcin lgica f(A,B,C,D)=m
0
+ m
5
+ m
8
+ m
15
cuando A=B=C=D=1?.
Solucin:

Como m
15
=A!B!C!D, f(1, 1, 1, 1)= m
0
+ m
5
+ m
8
+ m
15
= 0 + 0 + 0 + 1 = 1



2 0 0 1 . Feb rero , p rim era sem an a (G esti n ).

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

Por una parte:
7
m
6
m
5
m
4
m C B A C B A C B A C B A C) B C B C B C B A C) C ( B) B ( A A $ $ $ , ! ! $ ! ! $ ! ! $ ! ! , ! $ ! $ ! $ ! ! , $ ! $ ! , (

Por otra parte:
7
m
6
m
3
m
2
m
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) A C A C A C A B C) C ( A) A ( B B
$ $ $
, ! ! $ ! ! $ ! ! $ ! ! , ! ! $ ! ! $ ! ! $ ! ! , ! $ ! $ ! $ ! ! , $ ! $ ! , (


Por otra parte:
4
m
0
m C B A C B A C B A) A ( C B $ , ! ! $ ! ! , ! ! $ , !

Por tanto:
7
m
6
m
5
m
4
m
3
m
2
m
0
m f $ $ $ $ $ $ ,
2 0 0 1 . Feb rero , p rim era sem an a (sistem as).

Simplifique la funcin lgica f(A,B,C,D)= M
0
! M
2
! M
4
! M
5
! M
6
! M
7
! M
8
! M
10
! M
12
!M
13
! M
14
! M
15
:

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



Ejercicios de Funciones Lgicas 12
















A B C D f(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
0
0
0
0
1
0
1
0
0
0
0
0
1
0
1
0
CD
A B
D C $ D C $
D C $
D C $
B A $
0 0
B A $
0 0 0 0
B A $
0 0 0 0
B A $
0 0
D
B
D B D) C, B, f(A, $ =


2 0 0 1 . Feb rero , segu n d a sem an a (sistem as).

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

Solucin:
" # " # " # " #
5
M
4
M C) B (A ) C B (A C) B (A C) B (A ) C B (A C) B (A C) C B (A C) B (A ) 0 B (A
C) B (A ) B (A 1 1 C) B (A ) B B (A C) B A C (( ) B B A C ( C) B (A ) B B (A
C) B B A C ( C) B B (A C B B) A C ( ) B (A C B B A C B A C B B A C B A
! , $ $ ! $ $ , $ $ ! $ $ ! $ $ , $ $ ! ! $ $ , $ $ ! $ $
, $ $ ! $ , ! ! $ $ ! $ $ , $ $ $ ! $ $ $ ! $ $ ! $ $
, ! $ $ $ ! ! $ $ , ! $ $ $ ! $ , ! $ ! ! ! ! , ! $ ! ! $ !


2 0 0 1 . Feb rero , segu n d a sem an a (G esti n ).

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

+ - + - + - + - + - + - + - D C B A D C B A B D C A B D C A B B D C A D C A $ $ $ ! $ $ $ , $ $ $ ! $ $ $ , ! $ $ $ , $ $
+ - + - + - + - + - + - + - D C B A D C B A C D B A C D B A C C D B A D B A $ $ $ ! $ $ $ , $ $ $ ! $ $ $ , ! $ $ $ , $ $
+ - + - + - + - + - D C B A D C B A D D C B A C B A $ $ $ ! $ $ $ , ! $ $ $ , $ $
+ - + - + - + - + - D C B A D C B A D D C B A C B A $ $ $ ! $ $ $ , ! $ $ $ , $ $

Por tanto:
+ - + - + - + -
+ - + - + - + - + - + - + - + -
13
M
12
M
9
M
8
M
4
M
3
M
1
M
0
M
13
M
12
M
9
M
8
M
3
M
1
M
4
M
0
M
D C B A D C B A D C B A D C B A D C B A D C B A D C B A D C B A
C B A C B A D B A D C A
! ! ! ! ! ! ! , ! ! ! ! ! ! !
, $ $ $ ! $ $ $ ! $ $ $ ! $ $ $ ! $ $ $ ! $ $ $ ! $ $ $ ! $ $ $
, $ $ ! $ $ ! $ $ ! $ $



2 0 0 1 . Sep tiem b re, o rigin al (sistem as).

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

Ejercicios de Funciones Lgicas 13


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
Jos Garza
3
m
2
m C B A C B A
C B A C B A C B A C B A C C B A C B A B A C B A C B B A C C B A B B A
$ , ! ! $ ! !
, ! ! $ ! ! $ ! ! , ! ! $ $ ! ! , $ $ ! ! $ ! , ! ! ! $ ! ! ! $ ! ! $ ! ! ) ( 0 0

2 0 0 2 . Feb rero , p rim era sem an a (sistem as).

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

Solucin:

1 3 2
M M M B) A B) )(A B A B) A B) B A B) A 0) A B) A A B A A B A A B) f(A, , $ $ $ , $ $ , $ $ , $ , , $ , ( ( ( ( ( ( (


2 0 0 2 . Feb rero , p rim era sem an a (gesti n ).

Obtener la expresin en minterms de la funcin: f(A, B, C, D) = M
1
M
2
M
5
M
9
M
12
M
13


Solucin:

Para pasar a la expresin en minterms, llevamos acabo estos dos pasos:
1.- Encontrar los maxterms ausentes: M
0
! M
3
! M
4
! M
6
! M
7
! M
8
! M
10
! M
11
! M
14
! M
15

2.- Complementar a 15 los subndices: 15 12 11 9 8 7 5 4 1 0

f = m
0
+ m
1
+ m
4
+ m
5
+ m
7
+ m
8
+ m
9
+ m
11
+ m
12
+ m
15


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

Solucin:

C B A ) C) B A ) C B B C) B A C) B B) A D C C B B) A
) D C C) B B) A ) D C C) B ) B A D) C C) B ) B A D) C C) B ) B A D) C C) B ) B A
$ $ , $ $ , $ $ $ $ , $ $ , $ $ $
, $ $ $ , $ $ $ $ , $ $ $ $ $ , $ $ $ $ $ , $ $ $
1 ( ( ( ( ( ( (
( ( ( ( ( ( ( ( ( ( ( ( ( ( (



2 0 0 2 . Feb rero , segu n d a sem an a (sistem as).

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

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