Departamento de Cincias e Tecnologias da Informao

Arquitectura de Computadores I LEI

Exerccios 2 Funes lgicas e mapas de Karnaugh

1. Funes Lgicas
1.1. Represente a tabela de verdade e o circuito correspondente a cada uma das seguintes funes:
a) F = X.Y b) F = X+Y c) F = (X+Y).Z

1.2. Calcule
a) b) c) d) 1+0, 1+1, 1.0+1, (1+0).(1+0), 0.(1+1), ~1+0, ~0+~0, ~(0+1). X.0 para todos os valores de X e simplifique. X+0 para todos os valores de X e simplifique. X.Y.Z para todos os valores possveis de X, Y e Z.

1.3. Considere as seguintes definies:

A1 - o tempo est miservel quando chove e est frio; A2 - o tempo est mau se chove ou est frio; A3 - o tempo est mais ou menos se chove mas no est frio ou vice versa; A4 - o tempo est bom se no chove nem est frio; A5 - o tempo est seco se no chove; a) Traduza cada uma das afirmaes anteriores na seguinte tabela de verdade (considerando que Verdade representado por 1 e Falso por 0). Chuva 0 0 1 1 Frio 0 1 0 1 A1 0 A2 A3 A4 A5

b) Represente algebricamente as mesmas afirmaes, designando por C e F as variveis que representam chuva e frio, respectivamente. c) Qual o contrrio de "A2 tempo mau"?

1.4. Escreva a tabela de verdade correspondente a cada uma das seguintes funes lgicas
a) F = X + Y b) F = X + Y + Z c) F = X + Y + Z d) F = X(Y + Z) + XY e) F = ( X + W) (X + Y) ISCTEIUL Arquitectura de Computadores I 1

1.5. Demonstre, recorrendo a tabelas de verdade, que:

a) b) c)

X+Y=XY
XY=X+Y

XYZ = X + Y + Z d) X(Y + Z) = XY + XZ
e) f)

X + YZ = (X + Y) .(X + Z)

XY + YZ + XZ = XY + YZ + XZ

1.6. Considere as seguintes operaes lgicas sobre dois operandos binrios, A e B:

ou-exclusivo (AB) operao lgica cujo resultado Verdade quando um dos operandos Verdade, e Falso caso contrrio. equivalncia (AB) operao lgica cujo resultado Verdade quando ambos os operandos so iguais, e Falso caso contrrio.

implicao (AB) operao lgica cujo resultado Falso se A for Verdadeiro e B for Falso, e Verdade caso contrrio. a) Elabore a tabela de verdade correspondente a cada uma destas operaes. b) Verifique que a equivalncia o contrrio de ou-exclusivo. c) Mostre, utilizando tabelas de verdade que "A equivalente a B" se "A implica B e B implica A". (se A B e B A ento A B)

1.7. Sabendo que AB = 0 e que A = B , quais sero os valores lgicos de A e B?

2. lgebra de Boole Propriedades

2.1. Simplifique
a) X(X+0) b) X+1+X XY+1 (XY+1)Z X+1 X+XY

2.2. Complete, indicando os passos intermdios

a) b) c) d) e)

ABC + A = ... = A ABC + ABC = ... = AC X Y + YZ = ......... = Y + X.Z X(Y + XZ) = ... = XY + XZ

X Y + Y Z = ... = X Y + YZ

2.3. Sabendo que A implica B o mesmo que A + B , e que A equivalente a B o mesmo que AB + A B , verifique a relao do exerccio 1.6-c), utilizando desta vez as propriedades da lgebra de Boole.

ISCTEIUL

Arquitectura de Computadores I

2.4. Utilizando manipulaes algbricas, mostre que

a) b) c)

AB + B C + AB + B C = 1

A B + AB = AB + AB X( XY) + XY = X

d) ( A + AB).( A + B ) = A e) f) g) h) i)

A( B + C) + BC = A + B X + Y + Z + XY( X + Z) = X + Y Z Y + XZ + XY = X + Y + Z XY + XZ + YZ = XY + XZ XY + YZ + XZ = XY + YZ + XZ

2.5. Utilizando manipulaes algbricas e sabendo que AB=0 e A+B=1, mostre que
a) b)

A C + BC + B C + BC = C AC + AB + BC = B + C

c) B( AC + C) + A(B C + C ) + AC + B C = 1

2.6. Mostre que ( X + Y )( X + Z )( Y + Z ) = ( X + Y )( X + Z ) ,

a) utilizando tabelas de verdade. b) utilizando manipulaes algbricas.

3. Forma Normalizada termos mnimos

3.1. Indique a tabela de verdade e o circuito correspondentes a cada uma das seguintes funes
a) F = X YZ + X YZ + XY Z b) F = X Y Z + X YZ + X Y Z + XYZ c) F = W X Y Z + W XYZ + WX Y Z + WXYZ

3.2. Indique as expresses algbricas correspondentes s seguintes somas de termos mnimos

a) F(A, B, C) = m0 + m2 + m4 b) F(X, Y, Z) = m1 + m2 + m3 + m7 c) F(A, B, C, D) = m1 + m13 + m15

3.3. Considere uma funo lgica de 3 variveis X,Y e Z

a) b) c) d) Quantos termos mnimos existem nessa funo? Quantos termos mnimos contm apenas uma varivel negada? Quais os termos mnimos includos na expresso XZ? E quais os termos mnimos includos na expresso Y?

ISCTEIUL

Arquitectura de Computadores I

3.4. Indique uma expresso algbrica correspondente a uma funo de 3 variveis que:
a) D 1 para as combinaes de entrada 000, 010, 111 (e 0 para todas as outras). b) D 1 quando duas ou mais variveis de entrada esto a 1 e 0 caso contrrio. c) Simplifique as expresses obtidas nas alneas anteriores

4. lgebra de Boole Circuitos

4.1. Desenhe os circuitos correspondentes s funes lgicas dadas no exerccio 1.4. 4.2. Considere o seguinte circuito:
A B F

a) Indique a funo lgica correspondente a F, extrada directamente a partir do circuito. b) Simplifique a funo anterior recorrendo s propriedades da lgebra de Boole. c) Desenhe o esquema do circuito correspondente simplificao da alnea anterior.

5. Mapas de Karnaugh
5.1. Indique os termos mnimos correspondentes aos 1s do seguinte mapa de Karnaugh:
CD AB 00 01 11 10 1 00 1 1 1 01 11 10

ISCTEIUL

Arquitectura de Computadores I

5.2. Para cada um dos seguintes mapas

YZ WX 00 00 01 11 10 1 1 1 01 11 10 YZ WX 00 00 01 11 10 1 1 1 1 01 11 10
WX 00 01 11 10 1 1 1 00 01 11 10 1

a) Indique os termos mnimos correspondentes aos 1s do mapa; b) Indique o(s) termo(s) produto correspondente(s) simplificao do mapa; c) Obtenha o(s) mesmo(s) termo(s) produto atravs de uma simplificao algbrica;

5.3. Assinale num mapa de Karnaugh com 4 variveis (X, Y, Z, W)

a) Todos os termos mnimos contendo ZW b) Todos os termos mnimos contendo X c) Todos os termos mnimos contendo X YZ

5.4. Para cada um dos seguintes mapas, indique, caso exista

YZ WX 00 00 01 11 10 a) b) c) d) 1 1 1 1 01 1 11 1 1 10 1 YZ WX 00 00 01 11 10 1 1 1 1 1 1 1 1 01 11 10 YZ WX 00 00 01 11 10 1 1 1 01 11 1 1 1 1 10 1

Indique um Indique um Indique um Indique um

implicante qualquer; implicante no primo implicante primo no essencial implicante primo essencial

5.5. Considere a seguinte funo: F = XYZ + XYZ + XZ

a) Simplifique a funo usando um mapa de Karnaugh. b) Obtenha o mesmo resultado algebricamente;

ISCTEIUL

Arquitectura de Computadores I

5.6. Obtenha as funes simplificadas a partir dos seguintes mapas de Karnaugh:

ZW XY 00 01 11 10 1 00 01 1 1 1 11 1 1 10 1 1 CD AB 00 00 01 11 10 1 ZW 01 1 1 1 1 11 1 1 1 1 1 1 10 XY 00 01 11 10 1 1 00 1 1 1 1 01 11 10 1 1

5.7. Obtenha as funes simplificadas a partir dos seguintes mapas de Karnaugh, onde x representa uma sada no especificada (indiferena):
CD AB 00 00
BC A 0 1 00 x x 01 11 1 1 x 10

01

11 1 1

10

x x 1 x

01 11 10

x 1

1 1

5.8. Dado o seguinte mapa de Karnaugh:

ZW XY 00 01 11 10 00 1 01 1 1 1 1 1 1 1 1 11 10

a) b) c) d)

Obtenha uma expresso para a funo lgica correspondente. Indique dois implicantes no primos. Indique um implicante primo essencial. Indique um implicante primo no essencial.

5.9. Simplifique as seguintes funes, expressas numa soma de termos mnimos, recorrendo aos mapas de Karnaugh:

m(0,2,4,6,7) F(A,B, C,D) = m(0,2,4,6,8,10,11,12,14,15 ) F(X, Y, Z, W ) = m(0,1,5,8,9,10,11,13,15 ) , com indiferenas em m

F(B 2 ,B1,B0 ) =

2e

m7

ISCTEIUL

Arquitectura de Computadores I

6. Projecto de circuitos combinatrios

6.1. Pretende-se projectar um circuito com o seguinte comportamento: Sada a 1 para combinaes XYZ contendo apenas um 1 (ex: 100, 010) Sada a 0 para combinaes XYZ contendo apenas um 0 (ex: 110, 011)
a) Projecte o circuito admitindo que nos restantes casos a sada assume o valor lgico 0. b) Projecte o circuito admitindo que nos restantes casos o valor lgico da sada indiferente.

6.2. Projecte um circuito com dois pares de entradas, de 2 bits cada uma, representando dois nmeros A e B. A sada do circuito dever assinalar 1 no caso do valor de A ser maior ou igual ao nmero B. 6.3. Projecte um circuito que d sada a 1 sempre que entrada seja apresentada uma representao em binrio de um mltiplo de 2 ou de 3. O nmero mximo que pode ser apresentado entrada o 15. 6.4. Elabore um circuito combinatrio que calcule a soma de um par de nmeros de 2 bits. Tenha em ateno que o resultado vem representado em 3 bits.

ISCTEIUL

Arquitectura de Computadores I