5.

LGEBRA DE BOOLE

Os teoremas e propriedades fundamentais que estudaremos a seguir nos serviro na simplificao de expresses que contenham variveis redundantes e com isso os circuitos digitais que elas representam sero simplificados de forma significativa.

5.1. Postulados para uma varivel (X)

Todos os postulados da algebra booleana derivam das tabelas das funes lgicas E e OU, como pode ser visto a seguir. Tome-se a tabela da funo E e OU. B 0 0 1 1 A 0 1 0 1 S=A.B 0 0 0 1 B 0 0 1 1 A 0 1 0 1 S=A+B 0 1 1 1

Nas duas linhas sombreadas temos que 0.0 = 0 e 0.1 = 0, assim podemos dizer que 0.X =0 (zero e qualquer valor, 0 ou 1, ser sempre igual a zero ).

0 1 X X

. . . .

X X X X

= 0 = X = X = 0 = 1

1 0

+ X = 1 + X = X

X + X = X X = X

X + X

Muito embora os postulados anteriores sejam denominados postulados para uma nica varivel, se levarmos em conta que toda e qualquer expresso lgica quando resolvida se resumir a um determinado nvel lgico, podemos aplicar os postulados para algumas expresses. Vejamos o exemplo a seguir: 1

__ A.( A + B.C ) + A.B.C .D

Vamos levar em conta que a expresso entre parnteses na soluo para determinados valores das variveis, no final ser reduzida a um valor 0 ou 1. Certo? Assim a resoluo da expresso ser

A.[0] = 0
Que a aplicao do postulado X . 0 = 0.

5.2. Outras propriedades

As propriedades seguintes se aplicam quando temos mais de uma varivel em jogo.

5.2.1. Propriedade Comutativa

A + B = B + A A . B = B . A

5.2.2. Propriedade Associativa

A + (B + C) = (A + B) + C A . (B . C) = (A . B) . C

5.2.3. Propriedade Distributiva

A . (B + C) =

A.B

+ A.C

A + (B . C) = A + B . A+C

5.3. Teorema da Absoro Demonstra-se a seguir o teorema da Absoro em suas trs formas.

A + A.B= A A.(1+B) = A A .1= A A=A

A.(A+B) = A A.A+A.B=A A+A.B=A A (1 + B) =A A . 1 =A

A=A

A + A.B = A+ B A + A.A+ B= A+B 1 . (A + B) = A + B A+B=A +B

EXERCCIOS Simplificar as seguintes funes: a)S=X.(Y+Z).(X+Y+Z)

b)S=A.B.C+A.C+A.B

c)S=A.B.C+A.B.C +A.B.C

d) S = A . B . C + A . B . C + A. B. C+A. B. C+A. B. C

e) S = (A+B +C). ( A +B +C )

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

5.4. Simplificao de funes atravs dos mapas de Karnaugh. 4

O mapa de Karnaugh uma ferramenta de grande utilidade para a simplificao de funes lgicas contendo at 5 variveis. Para a simplificao utilizando este mtodo ser necessrio o aprendizado da construo do mapa de Karnaugh. Desenvolvimento do mapa de Karnaugh. Devemos ter em mente que o nmero de combinaes possveis entre as variveis, no sistema binrio, dado pelo nmero 2 (base no sistema) elevado ao nmero de variveis. Exemplo: Para uma varivel, tomando A por exemplo: 2 = 2 combinao possveis ( A ou A ou 0 e 1) Para duas variveis, por exemplo: B e A 10 e 11). Cada clula do mapa de Karnaugh ir representar uma das combinaes possveis. Portanto o nmero de clulas do mapa igual ao nmero de combinaes possveis entre as variveis da funo. 2 = 4 combinaes ( B A , B A, BA , BA ou 00, 01,

5.4.1. Mapa para uma varivel: Seja, por exemplo, a varivel A , o mapa dever possuir duas clulas, pois temos uma s varivel. Assim o mapa representar a varivel A em seus dois estados, ou seja "0" e "1" sendo que o zero pode ser representado pela varivel A com a barra de complementao e o 1 representado pela varivel A.

(20) A 0 1

Figura 3 5.4.2. Mapa para duas variveis:

Dois elevado a dois (duas variveis) igual a 4 combinaes ou 4 clulas. O mapa para duas variveis ou 4 clulas obtido a partir do rebatimento do mapa para uma varivel. O ponto de fixao (dobradia) o que est marcado na figura:

rebater
(20) A
0 1 3 2

(21) B

Figura 4 A numerao das novas clulas ser feita somando-se o peso da varivel, devido qual as clulas foram criadas, ao valor da clula que deu origem nova clula. O conceito de clula imagem aquele que estabelece que a clula imagem aquela que foi criada a partir da clula origem. Este conceito se estende s demais clulas criadas posteriormente. Ex. A clula dois imagem da clula zero e a clula trs a imagem da clula um. 5.4.3. Mapa para trs variveis: (23 = 8 combinaes ou 8 clulas)

Dois elevado a trs (variveis) igual a 8 combinaes ou 8 clulas. O mapa para trs variveis ou 8 clulas obtido a partir do rebatimento do mapa para duas variveis. O ponto de fixao (dobradia) o que est marcado na figura:
(20) A
0 1 3 2

rebater

(20) A
0 4 1 5 3 7 2 6

(22) C

(21) B

Figura 5 A numerao das clulas ser realizada somando-se 2 = 4 (peso da varivel) s clulas de origem. 5.4.4. Mapa para quatro variveis (24 = 16 clulas). Rebatendo-se o mapa mais uma vez para baixo tendo por eixo a base das clulas 4, 5, 7, e e 6 teremos o seguinte mapa resultante:
(20) A 0 4 1 5 3 7 2 6 rebater (23) D 0 4 12 8 1 5 13 9 3 7 15 11 (21) B 2 6 (2 ) 14 10 C
2

Figura 6 5.4.5. Mapa para cinco variveis (25 = 32 clulas).

5.5. REPRESENTAO DAS FUNES NO MAPA DE KARNAUGH. No mapa de Karnaugh, representativo de uma funo escrita e na forma de soma de produtos, cada uma de suas clulas o termo mnimo de uma determinada funo. Em uma funo o termo mnimo qualquer um de seus termos ( parcelas) que se encontra representado em uma funo. Tomemos como exemplo a funo f = C .B . A + C.B . A + C .B . A , qualquer um dos termos desta funo pode ser tomado como termo mnimo, ou seja, C .B . A um termo mnimo; C.B . A outro termo mnimo; C .B . A outro termo mnimo. O termo mximo de uma funo nada mais de que o complemento de seu termo mnimo. Exemplo: Tomemos o termo C .B . A da funo anterior. O termo mximo referente a este termo mnimo, ser o complemento do mesmo. Toma-se o termo mnimo em questo:
f = C .B . A

Complementa-se o mesmo:
f = C .B . A

Aplica-se o teorema de De Morgan:

f =C+B+ A

De onde teremos o termo mximo: (1, 2, 3, 4, 5, 6, 7).

(2 ) A 0 4
0

X X

1 5

X X

3 7
1

X X

2 6
2

(2 ) C

(2 ) B

5.5.1. CONCEITO DE CLULAS ADJACENTES

As clulas so consideradas adjacentes quando ao analisarmos as duas clulas, somente uma das variveis exemplo seguinte: em jogo mudar seu estado. Podemos verificar isto atravs do

(20) A

0 4

1 5

3 7

2 6
(22) C

(21) B

Figura 7 Ao analisarmos as clulas 1 e 3 veremos que a clula 1 contm as variveis C .B . A e a clula 3 contm as variveis C .B. A . Como podemos ver, smente a varivel B mudou de estado, assim podemos considerar as duas clulas adjacentes. claro que no iremos ficar realizando este tipo de procedimento para verificar se duas clulas so ou no adjacentes, teremos um mtodo prtico e bvio para tal: Duas clulas so adjacentes quando so vizinhas (na vertical ou na horizontal). Outro conceito importante de parentesco entre clulas o de que embora as clulas no sejam vizinhas elas so clulas imagens umas das outras. Em outras palavras uma clula deu origem outra, ou foi originada por outra aps o processo de rebatimento. Vejamos no exemplo a seguir:

rebatimento

Figura 8

Podemos ver que , ao rebater o mapa, a clula 0 dar origem clula 2. Assim, embora as duas no estejam prximas uma da outra, sero clulas imagem pois uma surgiu da outra. Uma forma mais prtica de visualizao de duas clulas imagem de imaginar o mapa como uma lata onde as extremidades se encontraro.

No outro lado veremos:

2 0

Figura 9 EXERCCIOS Dado o Mapa de Karnaugh abaixo, onde esto assinaladas algumas clulas, marcar com um asterisco as clulas adjacentes das mesmas.
(20) A

0 4

1 5 13

3 7 15

2 6

(22)
12 14 10

(23) D
8

X
9

X
11

X
(21) B

ENLACES (AGRUPAMENTOS)

Enlace o agrupamento de clulas adjacentes ou imagem, com sadas iguais a 0 ou 1, do qual se pode extrair diretamente uma expresso booleana simplificada devido ao fato de que a varivel que mudar de estado (dentro do enlace) redundante e, portanto pode ser desprezada.. Para escrevermos a funo resultante, procede-se da seguinte forma: 10

Sadas iguais a 1 Cada enlace escrito como um produto ( AND) entre as variveis que no mudam de valor ou estado. A operao entre enlaces uma soma (OR). Em outras palavras, as respostas extradas de um mapa que utiliza as sadas iguais a 1 ser sempre na forma soma de produtos, ou seja:
f = C .B . A + CB A + CBA

Esta a forma mais utilizada. Cada um dos termos da equao so mintermos. Sadas iguais a Zero

Exemplo Suponha que se deseja determinar a expresso booleana para as sadas iguais a zero de uma determinada funo. Vamos levar em conta o mapa seguinte, onde devemos ressaltar que se somente a clula 0 corresponde a uma sada igual a 1, conclui-se que as demais sadas sero iguais a 0 e que no so representadas para no poluir o mapa. Tipos de Enlaces Devemos nos lembrar que, a quantidade de clulas que compe os agrupamentos so definidas por potncias de 2 (a mesma dos pesos das variveis). Assim os grupos tero: 1 clula (20=1), 2 clulas (21=2), 4 clulas (22=4), e assim sucessivamente. Grupo composto por 1 clula No ser eliminada nenhuma varivel. Veja que o nmero de variveis eliminadas ir coincidir com o expoente zero (20=1 clula). Grupo composto por 2 clulas (Duplo) Ser eliminada uma varivel pois (21=2). Lembre-se de que a varivel eliminada ser aquela que mudar de estado quando analisarmos o agrupamento. Grupo composto por 4 clulas (Quadruplo) Elimina-se 2 variveis pois o grupo possui quatro clulas e 4 = 2. Grupo composto por 8 clulas (Octeto) . 11

Elimina-se 3 variveis pois o grupo possui oito clulas e 8 = 23. E assim sucessivamente. A seguir podemos ver alguns exemplos de agrupamentos
(2 ) A 0 4 12 8 1 5 3 7 2 0
0

(20) A
1 5 13 9 3 2

1
1 1
9

1
4 7 15 11 6

1 1

(22)
14 10

(22)
12 14 10

(23) D

13

15 11 (21) B

(23) D

1
(21) B

Figura 10
(20) A
0 1 3 7 2 6

Figura11
(20) A 1 0 4 13 9 1 3 7 15 11 1 1 1 14 2

1
4 12 8

1 1

(22)
14

1 (23) D

(22) C

(23) D

13 9

15 11 (21) B

C
10

12 1 1 8

1 10

(21) B

Figura 12 Formando os Enlaces

Figura 13

Quando tivermos uma funo na forma padro de representao que a forma de soma de produtos ou mintermos, podemos seguir os seguintes princpios: A configurao de clulas (mintermos) que foi selecionada dever incluir todas as clulas pelo menos uma vez. Uma clula poder aparecer em mais de um enlace.

12

(2 ) A 0 4 12 1 8 1 1 1 5 3 1 7 1 15 1 11 1 (21) B 14 6 2

(22) C
10

(2 ) D

13 1 9

Figura 3.23.1 Deveremos escolher os enlaces de tal forma que o maior nmero de clulas possvel esteja envolvida em cada agrupamento. Lembre-se de que o nmero de clulas em cada agrupamento depende de potncias de 2. Ou seja: teremos grupos com 1 clula (20), 2 clulas (21), 4 clulas (22), 8 clulas (23),16 clulas (24) e assim por diante. As combinaes ou agrupamentos devero ser selecionadas de tal forma que todas as clulas sejam includas pelo menor nmero de agrupamentos possvel, como o caso da figura 3.23.1. Com a finalidade de evitar casos como podemos ver na figura 3.23.2 em que se tomou um agrupamento de 4 clulas (qudruplo), mas que ao agrupar as demais clulas para formar os duplos, o resultado final nos mostra que o qudruplo se tornou redundante podendo ser dispensado. Por qu?????? Ora! bem simples: Se as clulas do qudruplo j esto representadas nos outros grupos para que utiliz-las novamente?
(20) A 0 4 12 1 8 1 1 1 5 3 7 1 14 2 6

(22) C
10

(23) D

13 1 9

15 1 11 1 (21) B

Figura 3.23.2 13

Para evitar tais casos podemos utilizar um algoritmo que nos leve a uma expresso mnima: Algoritmo: Assinalar e considerar como implicante primo essencial qualquer clula que no possa ser combinado com nenhum outro. Identificar todos as clulas que podero ser combinadas apenas com mais uma outra clula, e somente de uma nica forma (em outras palavras sero formados duplos especiais ). Assinalar estes agrupamentos. Clulas que podem formar duplos, de mais de uma maneira, so deixados temporariamente de lado. Identificar clulas que podem ser combinados com trs outras clulas (para formar quadras) somente de uma maneira. Se as quatro clulas de tais combinaes no estiverem includas em grupos de duas clulas, assinalar a combinao de quatro. Novamente celulas que podem formar quadruplos, de mais de uma maneira, so deixados temporariamente de lado. Repetir o processo para grupos de oito, e assim sucessivamente. Ao encerrar o processo acima, restarem clulas no includas em agrupamentos, as mesmas podero ser combinadas umas com outras ou com clulas j includas em outros agrupamentos. Mas lembre-se de que a inteno de obter o menor nmero de agrupamentos possvel. Os exemplo a seguir ilustram o algoritmo. Exemplo 3.23.1 Uma funo que possui quatro variveis caracterizada pela expresso seguinte. Pedese utilizar um mapa de Karnaugh para minimizar a mesma.
f ( A, B , C , D) = m(0,1,3,5,6,9,11,12,13,15)

14

(20) A 0 1 4 12 1 8 1 1 9 1 1 1 1 5 13 3 7 15 1 11 1 (2 ) B
1

2 6

(22)
14

(2 ) D

C
10

Notar que a clula 6 no pode ser combinada com nenhuma outra, assim a mesma ser assinalada e denominada implicante primo essencial. As clulas 0 e 12 somente podem formar duplos de uma nica forma, assim assinalamos os dois agrupamentos. Note que as clulas 3, 5 e 15 podem compor grupos de quatro clulas somente de uma maneira. - A clula 3 pode fazer um duplo com a clula 1, por exemplo! A prioridade no a formao de duplos primeiramente? Sim a prioridade a formao de duplos a partir de clulas que faam duplos somente de uma forma. No caso da clula 3 ela poderia fazer duplo com a clula 1, e tambm com a clula 11. Neste caso o prximo caso que o algoritmo contempla a formao de qudruplos. Mais tarde voltaremos ao exemplo para analisar os agrupamentos.

Exemplo 3.23.2 Uma funo que possui quatro variveis caracterizada pela expresso seguinte. Pedese utilizar um mapa de Karnaugh para minimizar a mesma.
f ( A, B, C , D ) = m(0,2,3,4,5,7,8,9,13,15)

Nossa primeira tarefa marcar as clulas do mapa.

15

(20) A 0 1 4 1 (2 ) D 1 8
3

1 1 1 1 1 9 5 1 13 1

3 7 15

2 6

(22)
14

12

C
10

11

(21) B

A seguir seguimos o passo 1 do algoritmo

(20) A
0 1 3

1
4

1 1 1
8 5 7

2 6

1
12

1
15 14

(22) C
10

13 9

(23) D

1
11

(21)

(20) A 0 1 4 1 12 1 1 1 8 1 9 5 1 13 15 1 11 (21) B 14 10 1 1 7 3 1 2 6 (2 ) C
2

(2 ) D

16

Anlise dos Enlaces Como deveremos proceder para analisar os enlaces do mapa?

EXERCCIO : Realizar os agrupamentos e extrair a funo resultante do MK abaixo:

(20) A
0 4 12 1 5 3 7 2 6

1
(2 )
2

1 1

1 1
9

13

15 11

14

(23) D
8

C
10

1
(21) B

Exerccios 1) - Dada a tabela-verdade a seguir, determine as expresses booleanas de cada uma das sadas:
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 S1 0 1 0 0 0 1 0 0 S2 0 0 1 1 0 0 0 0 S3 1 1 1 1 0 0 1 1 S4 0 1 0 1 0 1 0 1 S5 0 0 0 0 1 1 1 1 S6 0 0 1 1 0 0 1 1

17

simbologia B1=Gray B ADiferente? S -1Vp 1Vp 0,5 T B t[s] & 12 A V[volts] A 0= ______ B2 Binrio S=A+B B G1 A S A = A.B ANSI/IEEE S

2) - O motor que aciona uma prensa dever atuar somente quando suas duas botoeiras A e B forem adicionadas e a prensa estiver na posio R. (repouso). Tabela verdade
R 0 0 0 0 1 1 1 1 B 0 0 1 1 0 0 1 1 A 0 1 0 1 0 1 0 1 Sada

Considera-se, quando a prensa estiver no repouso, R=1.

3) Agrupar e obter a funo resultante do mapa de Karnaugh das funes que ocupam as seguintes clulas com sada igual a 1. a) f = (1,3,4,5,7,9,11) b) f = (0,2,4,6,8,9,10,11) c) f = (0,1,2,3,4,5,6,8,9,10,12,13,14,15) d) f = (0,1,2,3,4,6,8,10,12,14) 4)

18