Automao

Algebra de Boole e Controladores Combinacionais

Algebra de Boole e Combinacionais

A lgebra de Boole apresenta-se como uma ferramenta indispensvel na rea da automao, nomeadamente no que diz respeito ao projecto de controladores lgicos combinacionais. Estes ficam perfeitamente definidos atravs das funes lgicas que caracterizam as suas sadas. Essas funes dependem apenas da informao proveniente do processo (entradas do controlador).

Algebra de Boole e Combinacionais

Definio
Seja um sistema algbrico B definido como um quntuplo

ordenado: = (B, +, ., O, U) em que B um conjunto com mais de um elemento, + e so operaes binrias em B, O e U so elementos distinguidos de B.

Algebra de Boole e Combinacionais

Existncia de Elemento

Propriedade Comutativa:
a+b=b+a a.b=b

Propriedade Associativa:
(a+b)+c=a+(b+c) (a.b).c=a.(b.c)

Absorvente: a . O = O a + U = U

Propriedade Distributiva:
a + ( b. c ) = ( a + b ) . ( a + c ) a . ( b + c ) = ( a . b ) + (a . c )

Existncia de Complementar:

a. a = O
a+ a = U
Propriedade da Idempotncia:
a + a = a a . a = a

Existncia de Elemento Neutro:

a+O=a a.U=a

Algebra de Boole e Combinacionais

Se o conjunto A = { 0, 1 } e as duas operaes (+) e ( . ) forem definidas em A da seguinte forma:

a 0 0 1 1 b 0 1 0 1 + 0 1 1 1 a 0 0 1 1 b 0 1 0 1 . 0 0 0 1

ento ( A , + , . ) um terno booleano, sendo 0 a identidade aditiva O, e 1 a identidade multiplicativa U.

Algebra de Boole e Combinacionais

Teoremas
Leis de De Morgan Lei da Absoro
(a + b) = a.b (a.b) = a + b

a+(a.b)=a

a.(a+b)=a
a + (a.b) = a + b

Teorema do termo / factor "menor" Teorema da adjacncia lgica

a.(a + b) = a.b

(a.b) + (a.b) = a
(a + b).(a + b) = a

Teorema do termo / factor incluido

(a.b) + (a.c) + (b.c) = (a.b) + (a.c)
(a + b).(a + c).(b + c) = (a + b).(a + c)

Algebra de Boole e Combinacionais

A expresso lgica um conjunto de variveis e constantes lgicas ligadas entre si, pelos sinais das operaes lgicas elementares. Existem 4 formas das expresses lgicas que tem interesse referir: 1) 2) 3) 4) Forma cannica soma de produtos Forma cannica produto de somas Forma mnima soma de produtos Forma mnima produto de somas

Algebra de Boole e Combinacionais

Uma expresso lgica est na forma de soma de produtos quando constituda por somas lgicas de produtos lgicos (estes produtos so tambm designados por termos). Exemplo:
(a.b.c) + (b.d ) + (a.c.d )

Uma expresso lgica est na forma de produto de somas quando constituda por produtos lgicos de somas lgicas (estas somas so tambm designadas por factores). Exemplo:
(a + b + d).(b + d).(a + c + d ).(a + d)

Algebra de Boole e Combinacionais

Diz-se que uma expresso lgica est na forma cannica soma de produtos quando todos os seus termos contm todas as variveis (da funo que implicitamente a expresso define). Estes produtos so tambm designados por produtos desenvolvidos, termos desenvolvidos ou mintermos. A forma cannica soma de produtos tambm designada por soma de produtos desenvolvidos. Exemplo:
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)

Algebra de Boole e Combinacionais

Diz-se que uma expresso lgica est na forma cannica produto de somas quando todos os seus factores contm todas as variveis (da funo que implicitamente a expresso define). Estas somas so tambm designadas por somas desenvolvidas, factores desenvolvidos ou maxtermos. A forma cannica produto de somas, tambm designada por produto de somas desenvolvidas. Exemplo:

F (a, b, c) = (a + b + c).(a + b + c).(a + b + c)

Algebra de Boole e Combinacionais

normalmente a partir das formas mnimas que se procede

implementao de circuitos lgicos com portas lgicas (gates), discretas porquanto conduzem normalmente a implementaes mais simples.
Existem vrias definies possveis para as formas mnimas:

menor n de literais (um literal uma varivel no negada ou uma varivel negada). menor n de termos/factores. somatrio do n de termos / factores e de literais mnimo.

Algebra de Boole e Combinacionais

Uma expresso lgica est na forma mnima soma de

produtos quando a expresso lgica constituda por uma soma de produtos, tal que o somatrio do nmero de termos e do nmero de literais mnimo.
Uma expresso lgica est na forma mnima produto de

somas quando a expresso lgica constituda por um produto de somas, tal que o somatrio do nmero de factores e do nmero de literais mnimo.

Algebra de Boole e Combinacionais

Tabelas de Verdade As tabelas de verdade constituem outro processo de descrever as funes lgicas. A sua utilizao deve-se ao modo simples como so obtidas a partir da especificao informal da funo. Uma tabela de verdade apresenta todas as combinaes possveis das variveis da funo, juntamente com os correspondentes valores assumidos pela funo para cada uma dessas combinaes. Permitem tambm, a obteno directa das formas cannicas das expresses algbricas das funes.

Algebra de Boole e Combinacionais

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

Exemplo:

A funo assume o valor lgico 0 para as seguintes combinaes:

a.b.c, a.b.c, a.b.c, a.b.c, a.b.c

E assume o valor lgico 1 para as combinaes:

a.b.c, a.b.c, a.b.c

A obteno da expresso lgica da funo na forma cannica soma de produtos reduz-se a escrever a funo como uma soma das expresses das combinaes de valores das variveis para os quais o valor da funo 1: F (a, b, c) = a.b.c + a.b.c + a.b.c

Algebra de Boole e Combinacionais

Para se obter a expresso lgica na forma cannica produto de somas, pode escrever-se o complementar da funo como uma soma de produtos e complementar a expresso resultante, usando as leis De Morgan. Para a funo em estudo tem-se:
F ( a , b , c ) = ( a b c ) + (a b c) + ( a b c ) + ( a b c ) + (a b c) F ( a , b , c ) = F (a , b , c ) = = ( a b c ) + (a b c) + ( a b c ) + ( a b c ) + (a b c) = = ( a b c ) ( a b c ) (a b c ) (a b c) (a b c ) = = ( a + b + c) (a + b + c ) ( a + b + c ) ( a + b + c ) ( a + b + c )

Algebra de Boole e Combinacionais

Simplificao de Expresses Lgicas

Utilizao dos teoremas da lgebra de Boole

Os teoremas mais utilizados na simplificao de expresses lgicas so: Teorema da absoro : a+(ab)=a a(a+b)=a Teorema do termo / factor "menor" a + ( /a b ) = a + b a ( /a + b ) = a b Teorema da adjacncia lgica ( a b ) + ( a /b) = a ( a + b ) ( a + /b) = a

Algebra de Boole e Combinacionais

Simplificao de Expresses Lgicas

Utilizao dos teoremas da lgebra de Boole

Exemplos F = c d + a /b/c+ b c d Aplicando o teorema de absoro, pois o primeiro termo est includo no terceiro termo, obtm-se: F = c d + a /b/c

Algebra de Boole e Combinacionais

Exemplo
Seja a funo F = a b + b e f + /a c d + /b c d Recorrendo propriedade da distributividade: F = a b + b e f + c d (/a + /b ) e pela lei de De Morgan F = a b + b e f + c d /(a b) Agora o primeiro termo aparece includo na forma de complemento no terceiro termo pelo que se pode aplicar o teorema do termo/factor menor. F=ab + bef + cd

Algebra de Boole e Combinacionais

Exemplo
F = a b /c + a b c + /a /b c + /a /b /c Aplicando o teorema da adjacncia lgica F = a b + /a /b

Algebra de Boole e Combinacionais

Simplificao de Expresses Lgicas Utilizao de Mapas de Karnaugh Os mapas de Karnaugh constituem outra representao para as funes lgicas. Tm especial utilidade por permitirem obter de forma quase totalmente sistemtica e relativamente expedita, as expresses mnimas das funes lgicas. A minimizao no totalmente sistemtica uma vez que existem casos em que uma parte do processo de obteno da forma mnima tem que ser feita por tentativa e erro.

Algebra de Boole e Combinacionais

O mapa de Karnaugh para uma dada funo consiste num quadro com tantas clulas quantos os possveis mintermos da funo, em que as clulas so dispostas por forma a possibilitarem uma aplicao mecnica do teorema da adjacncia lgica (os mintermos a que possvel aplicar o teorema da adjacncia lgica ficam colocados em clulas adjacentes). Demonstra-se que quando o ponto de partida a forma cannica soma de produtos, o teorema da adjacncia lgica o nico necessrio para alcanar a forma mnima - assim, o mapa de Karnaugh permite a minimizaao atravs da deteco grfica de mintermos adjacentes.

Algebra de Boole e Combinacionais

O mapa de Karnaugh para uma funo de 3 variveis A, B e C poderia ser:

B
B
A.B.C A.B.C A.B.C A.B.C

A
C

A.B.C A.B.C A.B.C A.B.C

A funo representada no mapa de Karnaugh inscrevendo um 1 nas clulas correspondentes aos mintermos que fazem parte da expresso da funo e inscrevendo um 0 nas clulas correspondentes aos mintermos que no fazem parte da expresso da funo.

Algebra de Boole e Combinacionais

Seja por exemplo a funo cuja expresso algbrica dada a seguir, na forma cannica soma de produtos:
F ( A, B, C ) = A.B.C + A.B.C + A.B.C

A sua representao no mapa de Karnaugh acima seria:

( A.B.C )
B
0 1 0 0 0 1 1

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

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

Algebra de Boole e Combinacionais

Mintermos

Cdigo Binrio 000 001 010 011 100 101 110 111

Cdigo Decimal 0 1 2 3 4 5 6 7

A . B. C A . B. C A . B. C A . B. C A . B. C A . B. C A . B. C A . B. C

B
A.B.C A.B.C A.B.C A.B.C

A.B.C A.B.C A.B.C A.B.C

B 0 1 5 3 7 2 6

Algebra de Boole e Combinacionais

B

2 Variveis A

3 Variveis

A C

4 Variveis

funo de n variveis ter 2n clulas

5 Variveis E A D C

A D

A D

Algebra de Boole e Combinacionais

A.B.D 1 1 1
A
C C

B.C 1 1 1 1
B A D C

A.B

1
D

1 A.B.C
A

B.C.D

D C

1 1

1 1 A.D
B

B.D

1
B

A D

1
D

Algebra de Boole e Combinacionais

C 1 1 1 A 1 D 1 1 1 1 B

C 1 1 1 1 B

1 D

Algebra de Boole e Combinacionais

C Grupo n2 A.B.C

1
Grupo n1 A.B.C A

1 1

1 1 1
D

Grupo n3 B.C

O grupo n2 no primrio, pois est totalmente includo no grupo n3. Os grupos n1 e 3 so primrios. Um grupo de adjacncia diz-se primrio se no est totalmente includo em outro grupo maior. Um grupo primrio diz-se essencial se incluir uma ou mais clulas 1 que no esto includas em qualquer outro grupo primrio.

Algebra de Boole e Combinacionais

C C

1*

1 1

1 1

1 B 1* 1 A B

1 *

1 D

D Aps remoo dos grupos primrios essenciais

Grupos primrios

"*" = clulas que s so includas num grupo primrio e que portanto definem os grupos primrios essenciais - estas clulas so chamadas clulas essenciais.

Algebra de Boole e Combinacionais

A.C

B.C.D

A.B.C
C

B.C.D

A.B.D

B.C.D
C

1
A

1 1

1
B A

1 1

B A

1 1

1 1*

1 1*
D

Algebra de Boole e Combinacionais

Identificar no mapa os grupos (maiores primeiro) que possvel formar Dos grupos identificados, manter e marcar os primrios Dos grupos primrios, salientar os essenciais. Por exemplo, distinguindo com asteriscos as clulas essenciais, pertencentes s a um grupo primrio. "Extrair" os termos correspondentes aos grupos primrios essenciais. Se depois de removidos os 1s includos nos grupos primrios essenciais ainda restarem 1s no mapa, encetar um processo de tentativa e erro para minimizar os termos que representam esses 1s restantes.
Comear por identificar quais os grupos maiores que possvel formar com os 1s restantes. "Extrair" esses grupos, notando que se isso simplificar os termos que se esto a extrair, devem ser utilizados, para formar grupos maiores, os 1s j considerados em passos anteriores. Como o nmero de 1s restantes reduzido, geralmente fcil ver qual o melhor nvel de simplificao dos 1s que ficaram depois do passo 4. Assim que se chegar a uma soluo com esse nvel de simplificao, d-se por concluda a minimizao.

Algebra de Boole e Combinacionais

1 1 1 1 1 1 *1
D B

1 1

1
A D

B A

1
B

*1

Algebra de Boole e Combinacionais

Condies Indiferentes (dont care)

Existem funes lgicas para as quais certas combinaes

das variveis de entrada nunca podem ocorrer, pelo menos em termos de funcionamento normal dos dispositivos. Tambm surgem casos em que para determinadas condies de entrada, que podem ocorrer, as sadas do circuito simplesmente no so utilizadas. H ento completa liberdade para estabelecer valores para as sadas relativas a essas combinaes, de acordo com o que seja mais vantajoso para a simplificao do circuito. Para realar esse facto, os valores indiferentes das sadas representam-se, numa tabela de verdade ou num mapa de Karnaugh, por X.

Algebra de Boole e Combinacionais

Condies Indiferentes exemplo prtico

Num tanque de lquido os sensores 1 e 2 ficam a "1" quando

imersos.

A combinao S2=1, S1=0 nunca poder surgir.

Sensor 2

S2 S1

Sensor 1

Algebra de Boole e Combinacionais

Condies Indiferentes se ao tomar um ou mais Xs como 1, resultar a compactao de um termo necessrio para extrair alguns dos 1s do mapa, o X tomado como 1. caso contrrio, o X tomado como 0.

B.C
1

B
1

B.C