Introduo Informtica

Funes Lgicas
Ageu Pacheco e Alexandre Meslin

Funes Lgicas

z Objetivo
z Estudar

da Aula:

os principais mtodos
empregados na simplificao/minimizao
de funes lgicas (booleanas).

Funes Lgicas

z Conceito

de mintermos e maxtermos:

Considere a tabela verdade a seguir

que expressa a funo votador
majoritrio para 3 votantes:

Funes Lgicas
A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

F
0
0
0
1
0
1
1
1

Por inspeo na tabela

podemos escrever:
F = ABC+ABC+ABC+ABC

Funes Lgicas

F(A,B,C) = ABC + ABC + ABC + ABC

z Repare

que a expresso de F
constituda por uma soma de produtos
lgicos, cada um composto pelas 3
variveis de que F depende.

z Cada

um destes produtos completos

denominado mintermo.

Funes Lgicas
zA

descrio de uma funo por meio

de soma de produtos (mintermos)
representa a funo implementada
nos pontos em que ela 1
z Notao compacta:
F = ABC + ABC + ABC + ABC
F = m3 + m5 + m6 + m7
F = (3,5,6,7)
(notao compacta)

Funes Lgicas
A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

F
0
0
0
1
0
1
1
1

Funo votador majoritrio:

F = ABC+ABC+ABC+ABC
F = m3+m5+m6+m7
F = (3,5,6,7)

Funes Lgicas
z Invertendo

F e aplicando a Lei de
Morgan equao resultante temos:
M

F = ABC + ABC + ABC + ABC =

M

F = (ABC).(ABC).(ABC).(ABC) =
M

F = (A+B+C)(A+B+C)(A+B+C)(A+B+C)

Funes Lgicas

F = (A+B+C)(A+B+C)(A+B+C)(A+B+C)
zF

acha-se representada por um produto

de somas onde cada soma contm as
3 variveis de que F depende.

z Cada

um destas somas completas

denominada maxtermo.

Funes Lgicas
zA

descrio de uma funo por meio de

produtos de somas (maxtermos)
representa a funo implementada nos
pontos em que ela 0
z Notao compacta:
F = (A+B+C)(A+B+C)(A+B+C)(A+B+C)
F=
M3 . M5 . M6 . M7
F = (3,5,6,7)
(notao compacta)

Funes Lgicas

0
1
2
3
4
5
6
7

A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

F
0
0
0
1
0
1
1
1

F
1
1
1
0
1
0
0
0

F = (A+B+C).(A+B+C).
.(A+B+C).(A+B+C)
F = M3.M5.M6.M7
F = (3,5,6,7)

Funes Lgicas
z Para

achar F representada por

maxtermos aplicamos Morgan
expresso de F descrita por mintermos:

F = ABC+ABC+ABC+ABC
F = m0+m1+m2+m4

Funes Lgicas
A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

F
0
0
0
1
0
1
1
1

F
1
1
1
0
1
0
0
0

F =ABC+ABC+ABC+ABC
F = m0+m1+m2+m4
Pela tabela j d para
perceber que F por
maxtermos ser:
F = M0.M1.M2.M4

Funes Lgicas
z Aplicando

Morgan a F:
M

F = ABC+ABC+ABC+ABC =
M

F = (ABC).(ABC).(ABC).(ABC) =

Funes Lgicas
z Aplicando

Morgan a F (cont.):

F=(A+B+C)(A+B+C)(A+B+C)(A+B+C)
F=(A+B+C)(A+B+C)(A+B+C)(A+B+C)
F = M0.M1.M2.M4 = (0,1,2,4)

Funes Lgicas

0
1
2
3
4
5
6
7

A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

F
0
0
0
1
0
1
1
1

F
1
1
1
0
1
0
0
0

F = m3+m5+m6+m7
F = M0.M1.M2.M4
F = m0+m1+m2+m4
F = M3.M5.M6.M7

Funes Lgicas
Linha

x
0

y
0

z
0

Mintermo
m0 = x y z

Maxtermo
M0 = x + y + z

m1 = x y z

M1 = x + y + z

m2 = x y z

M2 = x + y + z

m3 = x y z

M3 = x + y + z

m4 = x y z

M4 = x + y + z

m5 = x y z

M5 = x + y + z

m6 = x y z

M6 = x + y + z

m7 = x y z

M7 = x + y + z

Funes Lgicas

Exerccios: (mintermos e maxtermos)

1)Represente F(A,B,C)=1,3,5,7
por meio de produtos de maxtermos.
z

F(A,B,C) = 0,2,4,6 = M0.M2.M4.M6

F = (A+B+C)(A+B+C)(A+B+C)(A+B+C)

Funes Lgicas

2) Represente a funo
F da tabela por meio
de soma de mintermos
e produtos de
maxtermos.

A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

F
0
1
1
0
1
0
0
0

Funes Lgicas

2)

A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

F
0
1
1
0
1
0
0
0

F = 1,2,4 = m1+m2+m4
F = 0,3,5,6,7
F = M0.M3.M5.M6.M7

Funes Lgicas

2) F = m1+m2 +m4
F = ABC + ABC + ABC
F = M0.M3.M5.M6.M7
F = (A+B+C).(A+B+C).(A+B+C).
(A+B+C).(A+B+C)

Funes Lgicas
z Simplificao

de expresses lgicas:

Mtodos:
Por manipulaes algbricas
Por mapas de Karnaugh
Pelo mtodo de Quine-McCluskey

Funes Lgicas
z Manipulaes

algbricas (exemplos):

1) Simplificar a funo
F(A,B,C) = 3,5,6,7
(votador majoritrio de 3 votantes)
F = ABC+ABC+ABC+ABC

Funes Lgicas

1) (cont.)
F = ABC+ABC+ABC+ABC
1

F = ABC+ABC+AB(C+C)
F = B(A+AC)+ABC = B(A+C)+ABC

Funes Lgicas

1) (cont.)
F = B(A+C)+ABC
F = AB+BC+ABC = AB+C(B+BA)
F = AB+C(B+A)

F = AB+AC+BC

Funes Lgicas

2) F(A,B,C) = 3,7
F = ABC+ABC = BC(A+A) = BC

Funes Lgicas

2) F(A,B,C) = 3,7
F = ABC+ABC = BC(A+A) = BC
3) F(A,B,C) = ABC+ABC+ABC+ABC
F = AB(C+C)+AB(C+C) = AB+AB
F = A(B+B)
F=A

Funes Lgicas

3) (cont.)
F=ABC+ABC+ABC+ABC
F = 4,5,6,7
(mintermos adjacentes)

A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

F
0
0
0
0
1
1
1
1

Funes Lgicas

4) F(A,B,C) = ABC+ABC+ABC+ABC
F = AC(B+B)+AC(B+B)
F = AC+AC = C(A+A) = C

Funes Lgicas

4)
F=ABC+ABC+ABC+ABC
F = 0,2,4,6
(mintermos adjacentes)

A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

F
1
0
1
0
1
0
1
0

Funes Lgicas

5)

A
0
0
0
0
0
0
0
0

B
0
0
0
0
1
1
1
1

C
0
0
1
1
0
0
1
1

D
0
1
0
1
0
1
0
1

F
1
1
1
0
1
0
0
0

A
1
1
1
1
1
1
1
1

B
0
0
0
0
1
1
1
1

C
0
0
1
1
0
0
1
1

D
0
1
0
1
0
1
0
1

F
1
1
1
0
1
0
1
0

Funes Lgicas

5) F(A,B,C,D) = 0,1,2,4,8,9,10,12,14
F = ABCD+ABCD+ABCD+ABCD+
1

+ABCD+ABCD+ABCD+ABCD+ABCD
8

10

12

14

(a simplificao ser feita mais adiante por

meio do mapa de Karnaugh)

Funes Lgicas
z Mapas

de Karnaugh (Maurice Karnaugh ~~1950)

O mapa de Karnaugh uma

representao grfica espacial da
tabela verdade onde cada quadrado
representa um mintermo de tal maneira
que quadrados adjacentes contm
mintermos adjacentes.

Funes Lgicas
z Exemplos

de mapas:

1)

A
0

B 0

0
1

1
0

A
0
1

B 0

m0 m1
m2 m3

Funes Lgicas

2) Mapa de 3 variveis:
A BC 00

m0

B
01

11

m1
10

m2

m0 m1 m3 m2

m3

m4 m5 m7 m6

m5

m4
m6

C
inverso na sequncia

m7

A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

F
1
0
0
1
1
0
0
1

Funes Lgicas

2) Mapa de 3 variveis:
A BC 00

m0

m1

01

11

10

m2

m3

m5

m4
m6

BC

C
BC

m7

A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

F
1
0
0
1
1
0
0
1

Funes Lgicas

2) cont:
m0

Pela tabela temos:

F(A,B,C) = 0,3,4,7

m1
m2
m3
m4
m5

F = m0+m3+m4+m7

m6
m7

A
0
0
0
0
1
1
1
1

B
0
0
1
1
0
0
1
1

C
0
1
0
1
0
1
0
1

F
1
0
0
1
1
0
0
1

Funes Lgicas

2) cont:
F = m0+m3+m4+m7
F = ABC+ABC+ABC+ABC
1

F = BC(A+A)+BC(A+A) = BC+BC

Funes Lgicas

3) Mapa de 4 variveis:
A
0
0
0
0
0
0
0
0

B
0
0
0
0
1
1
1
1

C
0
0
1
1
0
0
1
1

D
0
1
0
1
0
1
0
1

F
0
1
1
1
0
0
1
1

A
1
1
1
1
1
1
1
1

B
0
0
0
0
1
1
1
1

C
0
0
1
1
0
0
1
1

D
0
1
0
1
0
1
0
1

F
0
1
0
0
1
0
0
0

Funes Lgicas

3) F(A,B,C,D) = m1,m2,m3,m6,m7,m9,m12
AB

CD

F
00

01

11

10

AB

00

m0 m1 m3 m2

01

CD

00

01

11

10

00

m4 m5 m7 m6

01

11

m12 m13 m15 m14

11

10

m8 m9 m11 m10

10

Funes Lgicas

3) F(A,B,C,D) = m1,m2,m3,m6,m7,m9,m12
F
AB
ABCD

A
BCD

CD

C
00

01

11

10

00

01

11

10

AC

Funes Lgicas

3) F(A,B,C,D) = m1,m2,m3,m6,m7,m9,m12
F = ABCD + ABCD + ABCD + ABCD +
ABCD + ABCD + ABCD
F = AC + BCD +ABCD

Funes Lgicas
z Regras

para simplificao com o

mapa de Karnaugh:
1. Comear pelos quadrados isolados, isto
, que no tenham adjacentes. Eles
representam mintermos que no podem
ser simplificados mas que fazem parte
da funo.

Funes Lgicas
z Regras

(cont.):

2. Procurar por quadrados que s tenham

uma possibilidade de combinao.
3. Da em diante procurar visualizar
combinaes envolvendo o mximo de
quadrados.

Funes Lgicas
z Observao

importante:

Combinaes onde todos quadrados

participantes j tenham sido utilizados em
combinaes prvias, no geram
simplificaes adicionais. Na verdade tais
combinaes geram termos redundantes.

Funes Lgicas
z Sentidos
AB

de mapas:

CD

CD

AB

12

13

12

13

15

14

15

11

11

10

14

10

Funes Lgicas
z Exerccios:

1. F(A,B,C) = 0,2,4,5,6
A BC 00

AB

01

11

C
10

Funes Lgicas

1a. F(A,B,C) = 0,2,4,5,6

C

C AB 00
0

01

11

10

AB

F = AB + C

Funes Lgicas

2. F(A,B,C,D) = 3,4,5,7,9,13,14,15
AB
ABC

A
ACD

CD

12

13

15

11

ACD

14

10

ABC

Funes Lgicas

3. F(A,B,C,D) = 0,2,5,7,8,10,13,15
AB
BD

CD

12

13

15

11

11

14

11

10

BD

Funes Lgicas

4. F(A,B,C,D) = 0,2,3,4,6,9,10,11,12,14
AB
AD
BD

A
ABD

CD

12

13

15

11

14

10

BC

Funes Lgicas

4. F(A,B,C,D) = 0,2,3,4,6,9,10,11,12,14
F = ABCD + ABCD + ABCD + ABCD +
ABCD + ABCD + ABCD + ABCD +
ABCD + ABCD
F = AD + BC + BD + ABD

Funes Lgicas

5.F(A,B,C,D) =ABCD+ABCD+ABCD+ABCD+
+ACD+ACD+BCD
AB
BC

CD

CD

12

13

15

11

BD

11

14

10

AD

Funes Lgicas

5) F(A,B,C,D) = 0,1,2,4,8,9,10,12,14
F = ABCD+ABCD+ABCD+ABCD+
1

+ABCD+ABCD+ABCD+ABCD+ABCD
8

10

12

14

(a simplificao ser feita mais adiante por

meio do mapa de Karnaugh)

Funes Lgicas

5) F(A,B,C,D) = 0,1,2,4,8,9,10,12,14
F = ABCD+ABCD+ABCD+ABCD+
1

+ABCD+ABCD+ABCD+ABCD+ABCD
8

10

12

14

F(A,B,C,D) = AD + BC + BD + CD

lgebra de Boole
z

F(A,B,C,D) = AD + BC + BD + CD
A

AD

BD
BC

C
D

CD