ESTV-ESI-Sistemas Digitais-lgebra de Boole 1/7

lgebra de Boole
A lgebra de Boole uma ferramenta matemtica muito utilizada na representao e simplificao de funes binrias (ou lgicas), sendo a sua designao resultante do contributo do Matemtico George Boole.

Definies
Varivel lgica (ou de Boole ou binria) - Varivel que tem por domnio 2 valores lgicos distintos, representados pelos valores 0 e 1 (ou outras designaes como FALSE(F) e TRUE (T) ou FALSO(F) e VERDADEIRO(V) ). Funo lgica (ou de Boole ou binria) - Funo que tem por contradomnio os valores lgicos 0 e 1. Operadores/Funes lgicos elementares: Interseco (conjuno ou produto lgico)- AND

F(A, B) = A B = A B

A 0 0 1 1 Unio (disjuno ou soma lgica) - OR

B 0 1 0 1

f(A, B) = A B

0 0 0 1

F(A, B) = A + B

A 0 0 1 1

B 0 1 0 1

f(A, B) = A + B

0 1 1 1

Complemento (negao ou inverso) NOT

F(A) = A = A'
A f(A ) = A 0 1 1 0 Expresses lgicas - um conjunto de variveis (literais) e constantes lgicas (0 e 1) ligadas entre si pelos sinais dos operadores lgicos elementares. Constituem uma das formas para descrever funes lgicas (outras formas: tabelas de verdade, mapas de karnaugh, etc..). Exemplos:

f(A, B, C) = A B + C A B f(A, B, C) = 0 + A + C B 1
Literal Cada ocorrncia de uma varivel na sua forma complementada ou no complementada. Precedncia dos operadores: a avaliao de uma expresso lgica realizada da esquerda para a direita; sub-expresses entre parntesis so avaliadas em primeiro lugar; dentro das sub-expresses, primeiro avaliam-se os operadores de negao, depois de produto e, finalmente, de adio. Exemplo: X+Y.Z avaliado como (X+(Y.Z)) Expresses lgicas equivalentes - Quando uma delas s for igual a 1 quando a outra tambm for igual a 1, e igual a 0 quando a outra tambm for igual a 0. Expresses lgicas complementares - Se uma delas for igual a 1 quando a outra for igual a 0,e vice-versa. Expresses lgicas duais - Quando de uma se pode obter a outra: - transformando todos os em + (produtos em somas); - transformando todos os + em (somas em produtos); - transformando todos os 0 em 1 ; - transformando todos os 1 em 0 ; - e mantendo as ocorrncias das variveis (literais). Exemplo:

1 B + C A B + 0 dual de (0 + B) (C + A + B) 1 No existe nenhuma relao entre os valores lgicos de expresses duais: podem ser ambas iguais a 0, ambas iguais a 1, ou uma igual a 1 e outra igual a 0. Mas as identidades lgicas duais tm a propriedade de que quando uma verdadeira a outra tambm o .

ESTV-ESI-Sistemas Digitais-lgebra de Boole 2/7

Exemplo: Identidades duais - se a identidade A + 0 = A se verifica ento tambm se verifica a identidade A 1 = A . Uma funo lgica representada de forma inequvoca por uma tabela de verdade, mas admite a representao atravs de vrias expresses lgicas equivalentes. Uma funo lgica pode ser representada por um circuito lgico (diagrama lgico) constitudo por portas lgicas. Exemplo: A funo F(X,Y,Z) pode ser representada: - pela expresso X + Y.Z - pela tabela de verdade X Y Z F(X,Y,Z) 0 0 0 0 0 0 1 1 0 1 0 0 0 1 1 0 1 0 0 1 1 0 1 1 1 1 0 1 1 1 1 1 - pelo diagrama lgico

Postulados e teoremas da lgebra de Boole Postulados

A=0 ou A=1 00=0 01=10=0 1+1=1 11=1 0+1=1+0=1 0+0=0

0=1 Teoremas
T1 A0=0

1= 0
Dual A+1=1

T2

A1=A

A+0=A

0 - elemento absorvente do produto lgico 1 - elemento absorvente da soma lgica 1 - elemento neutro do produto lgico 0 - elemento neutro da soma lgica

T3 T4 T5 T6 T7 T8 T9 T10 T11 T12

AA=A

A+A=A

AB=BA ABC = A(BC) = (AB)C AB + AC = A (B+C) A+AB = A

A A = 0 A=A

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

Lei da idempotncia Lei da comutatividade Lei da associatividade Lei distributiva Lei da absoro Lei do termo menor Lei da adjacncia Lei do termo includo

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

A (A + B) = A B (A + B) (A + B ) = A (A + B) (A + C) (B + C) = (A + B) (A + C) A + B= AB

T13

Lei de DeMorgan

ESTV-ESI-Sistemas Digitais-lgebra de Boole 3/7

Simplificao de expresses lgicas recorrendo aos teoremas da lgebra de Boole

um processo heurstico onde se procuram detectar partes da expresso que sejam simplificadas por aplicao dos teoremas, resultando em expresses equivalentes. O processo repete-se at que j no existam subexpresses susceptveis de serem simplificadas, no existindo, no entanto, garantia de que a expresso obtida esteja realmente minimizada. Exemplos: Nota: a operao de negao representada pelo smbolo Expresses equivalentes Por aplicao do teorema AB(C+C)+ABC+AB(C+C) T4 ; T2 AB+ABC+AB T6 AB+AB+ABC T8 A(B+B)+ABC T4 A+ABC T10 A+BC Expresses equivalentes A+AB+AC+ABC A+B+AC+ABC A+B+AC(1+B) A+B+AC A+AC+B A+C+B Dado o diagrama lgico Por aplicao do teorema T10 T8 T1;T2 T6 T10

Obtm-se a expresso lgica F(X,Y,Z)= XYZ+XYZ+XZ Simplificando ... Por aplicao do teorema XYZ+XYZ+XZ T11 XY+XZ

Complemento de funes lgicas 1 Mtodo Aplicao do teorema de DeMorgan

Exemplo: Dada a funo F(X,Y,Z)=XYZ+XYZ Determinar o complemento da funo F F(X,Y,Z)=( XYZ+XYZ) =(XYZ) . (XYZ) =(X+Y+Z) . (X+Y+Z)

2 Mtodo Complementao de cada literal da expresso lgica dual

Exemplo: Dada a funo F(X,Y,Z)=XYZ+XYZ Determinar o complemento da funo F F(X,Y,Z)=( XYZ+XYZ) 1 Determinao da expresso dual Fd(X,Y,Z)=(X+Y+Z) . (X+Y+Z) 2 Complementao de cada literal de Fd F(X,Y,Z)=(X+Y+Z) . (X+Y+Z)

ESTV-ESI-Sistemas Digitais-lgebra de Boole 4/7

Formas algbricas das expresses lgicas

Por manipulao algbrica, qualquer expresso pode ser transformada numa das formas algbricas a seguir apresentadas.

Forma soma de produtos e produto de somas

Forma soma de produtos - quando a expresso constituda por somas lgicas de produtos lgicos (termo produto). Exemplo: F(A,B,C)=ABC+AB Exprimir F(A,B,C,D)=(A+BC).(B+CD) sob a forma soma de produtos. (A+BC).(B+CD) AB+ACD+BBC+BCCD AB+ACD+BC Forma produto de somas - quando a expresso constituda por produtos lgicos de somas lgicas (termo soma). Exemplo: F(A,B,C)=(A+B+C).(A+B) Exprimir F(A,B,C,D)=(A+BC).(B+CD) sob a forma produto de somas. (A+BC).(B+CD) (A+B).(A+C).(B+C).(B+D)

Formas cannicas
As formas cannicas facilitam o processo de simplificao das expresses lgicas. mintermo um produto em que cada uma das variveis aparece apenas uma vez, na forma complementada ou no complementada. A cada combinao de valores das variveis de entrada est associado um mintermo, identificado por mj, onde j o valor decimal equivalente ao valor binrio da combinao para a qual o mintermo tem o valor 1. X 0 0 0 0 1 1 1 1 Y 0 0 1 1 0 0 1 1 Z 0 1 0 1 0 1 0 1 mintermo XYZ XYZ XYZ XYZ XYZ XYZ XYZ XYZ smbolo m0 m1 m2 m3 m4 m5 m6 m7 mo 1 0 0 0 0 0 0 0 m1 0 1 0 0 0 0 0 0 m2 0 0 1 0 0 0 0 0 m3 0 0 0 1 0 0 0 0 m4 0 0 0 0 1 0 0 0 m5 0 0 0 0 0 1 0 0 m6 0 0 0 0 0 0 1 0 m7 0 0 0 0 0 0 0 1

Forma cannica soma de produtos (FCSP)- quando a expresso mintermos para os quais a funo toma o valor 1. Exemplo: Dada a tabela de verdade da funo F(X,Y,Z) smbolo mintermo X Y Z m0 XYZ 0 0 0 m1 XYZ 0 0 1 m2 XYZ 0 1 0 m3 XYZ 0 1 1 m4 XYZ 1 0 0 m5 XYZ 1 0 1 m6 XYZ 1 1 0 m7 XYZ 1 1 1

constituda pela soma lgica dos

F 1 0 1 0 0 1 0 1

F 0 1 0 1 1 0 1 0

A forma cannica soma de produtos (FCSP) de F(X,Y,Z) dada pela expresso F(X,Y,Z)=XYZ+XYZ+XYZ+XYZ=m0+m2+m5+m7 F(X,Y,Z)=m(0,2,5,7) (notao reduzida da FCSP) O complemento da funo contm os mintermos no includos na funo original. Para o exemplo anterior, temos F(X,Y,Z)=XYZ+XYZ+XYZ+XYZ=m(1,3,4,6) Qualquer expresso lgica de uma funo pode ser manipulada de modo a exprimir-se na FCSP. Exemplo: Exprimir F(A,B,C)=A+BC sob a forma cannica soma de produtos.

ESTV-ESI-Sistemas Digitais-lgebra de Boole 5/7

A+BC AB+AB+BC ABC+ABC+ABC+ABC+BC ABC+ABC+ABC+ABC+ABC+ABC ABC+ABC+ABC+ABC+ABC F(A,B,C)= m(3,4,5,6,7) maxtermo- uma soma em que cada uma das variveis aparece apenas uma vez, na forma complementada ou no complementada. A cada combinao de valores das variveis de entrada est associado um maxtermo, identificado por Mj, onde j o valor decimal equivalente ao valor binrio da combinao para a qual o maxtermo tem o valor 0. X 0 0 0 0 1 1 1 1 Y 0 0 1 1 0 0 1 1 Z 0 1 0 1 0 1 0 1 maxtermo X+Y+Z X+Y+Z X+Y+Z X+Y+Z X+Y+Z X+Y+Z X+Y+Z X+Y+Z smbolo M0 M1 M2 M3 M4 M5 M6 M7 Mo 0 1 1 1 1 1 1 1 M1 1 0 1 1 1 1 1 1 M2 1 1 0 1 1 1 1 1 M3 1 1 1 0 1 1 1 1 M4 1 1 1 1 0 1 1 1 M5 1 1 1 1 1 0 1 1 M6 1 1 1 1 1 1 0 1 M7 1 1 1 1 1 1 1 0

Forma cannica produto de somas (FCPS)- quando a expresso constituda pelo produto lgico dos maxtermos para os quais a funo toma o valor 0. Exemplo: Dada a tabela de verdade da funo F(X,Y,Z) smbolo maxtermo X Y Z F F M0 X+Y+Z 0 0 0 1 0 M1 X+Y+Z 0 0 1 0 1 M2 X+Y+Z 0 1 0 1 0 M3 X+Y+Z 0 1 1 0 1 M4 X+Y+Z 1 0 0 0 1 M5 X+Y+Z 1 0 1 1 0 M6 X+Y+Z 1 1 0 0 1 M7 X+Y+Z 1 1 1 1 0 A forma cannica produto de somas (FCPS) de F(X,Y,Z) dada pela expresso F(X,Y,Z)=(X+Y+Z).(X+Y+Z).(X+Y+Z).(X+Y+Z) =M1.M3.M4.M6 F(X,Y,Z)=M(1,3,4,6) (notao reduzida da FCPS) O complemento da funo contm os maxtermos no includos na funo original. Para o exemplo anterior, temos F(X,Y,Z)=(X+Y+Z).(X+Y+Z).(X+Y+Z)(X+Y+Z) =M(0,2,5,7)

Qualquer expresso lgica de uma funo pode ser manipulada de modo a exprimir-se na FCPS. Exemplo: Exprimir F(A,B,C)=A . (B+C) sob a forma cannica produto de somas. A . (B+C) (A+B).(A+B).(B+C) (A+B+C).(A+B+C).(A+B+C).(A+B+C).(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) F(A,B,C)= =M(2,4,5,6,7)

Formas mnimas
Forma em que o nmero de termos e nmero de literais mnimo. Constitui o ponto de partida para a implementao em circuitos lgicos com portas lgicas discretas, porquanto conduzem, normalmente, implementao mais simples. Forma mnima soma de produtos (FMSP)- quando a expresso constituda por uma soma de produtos tal que o somatrio do nmero de produtos e do nmero de literais mnimo. Forma mnima produto de somas (FMPS)- quando a expresso constituda por um produto de somas tal que o somatrio do nmero de somas e do nmero de literais mnimo.

ESTV-ESI-Sistemas Digitais-lgebra de Boole 6/7

Converso entre formas cannicas

Converso de FCSP para FCPS Considerar os maxtermos no includos nos mintermos Exemplo F(A,B,C)=m(0,2,5,7)=M(1,3,4,6) Converso de FCPS para FCSP Considerar os mintermos no includos nos maxtermos Exemplo F(A,B,C)= M(1,3)=m(0,2,4,5,6,7) Mj=mj Exemplo: M4=X+Y+Z X+Y+Z ((X+Y+Z)) ( dupla negao) (XYZ) (torema de DeMorgan) m4 Atendendo ao referido no ponto anterior, facilmente se pode determinar a forma cannica da funo complementar. Exemplo: Dada a funo F(A,B,C)=m0+m2+m5=M1.M3.M4.M6.M7 F(A,B,C)=m1+m3+m4+m6+m7=M0.M2.M5 Demonstrao: F(A,B,C)=(m0+m2+m5)=m0.m2.m5=M0.M2.M5 F(A,B,C)=(M1.M3.M4.M6.M7)=M1+M3+M4+M6+M7= m1+m3+m4+m6+m7

Tabelas de verdade
Tal como referido anteriormente, as tabelas de verdade constituem um dos processos de descrio das funes lgicas. Vantagens: - facilidade com que se obtm a partir da formulao verbal da funo a implementar. - facilidade na obteno das expresses algbricas nas formas cannicas. - possibilidade de passar directamente implementao de funes lgicas com certos componentes MSI e LSI. - constituem o ponto de partida para mtodos grficos e tabulares de simplificao de funes (mapas de Karnaugh). Construo da tabela de verdade a partir da formulao verbal Exemplo: Pretende-se construir a funo F(X,Y,Z) que tenha o valor 1 sempre que o nmero de 1s nas variveis de entrada X, Y e Z seja um nmero mpar. N X Y Z F(X,Y,Z) 0 0 0 0 0 1 0 0 1 1 2 0 1 0 1 3 0 1 1 0 4 1 0 0 1 5 1 0 1 0 6 1 1 0 0 7 1 1 1 1 Formas cannicas a partir da tabela de verdade Exemplo: Dada a tabela de verdade da funo lgica F(A,B,C) N termo A B C F(A,B,C) 0 0 0 0 0 1 0 0 1 1 2 0 1 0 1 3 0 1 1 0 4 1 0 0 0 5 1 0 1 0 6 1 1 0 1 7 1 1 1 0 F(A,B,C) uma funo lgica de 3 variveis A,B e C, assumindo o valor 1 para as combinaes 001, 010 e 110

ESTV-ESI-Sistemas Digitais-lgebra de Boole 7/7

e o valor 0 para as combinaes 000, 011, 100, 101 e 111 Recorrendo definio de mintermo e maxtermo, facilmente se obtm da tabela a expresso lgica da funo na forma cannica soma de produtos: F(A,B,C)=ABC+ABC+ABC=m1+m2+m6=m(1,2,6) ou na forma cannica produto de somas: F(A,B,C)=(A+B+C).(A+B+C).(A+B+C).(A+B+C).(A+B+C)=M0.M3.M4.M5.M7=M(0,3,4,5,7)

Determinao da tabela de verdade a partir de uma expresso lgica 1 Mtodo Avaliao da expresso recorrendo a clculos intermdios
F(X,Y,Z)=X+YZ Var. entrada Clculos intermdios F(X,Y,Z) X Y Z Z Y.Z X+YZ 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 0 1 1 0 0 0 1 0 0 1 0 1 1 0 1 0 0 1 1 1 0 1 1 1 1 1 1 0 0 1 Para expresses mais complexas, este mtodo pode tornar-se moroso e bastante susceptvel a erros.

2 Mtodo Interpretao/leitura da expresso lgica

Quando as expresses lgicas esto na forma soma de produtos ou produtos de somas, possvel efectuar-se uma interpretao/leitura da expresso que permita a obteno da tabela de verdade de uma forma expedita. Exemplo: F(X,Y,Z)=X+YZ A expresso encontra-se na forma soma de produtos, logo podemos concluir que a funo F toma o valor 1: ou quando Y.Z=1 quando X=1 X=1 ; Y ; Z X ; Y=1 ; Z=1 X ; Y=1 ; Z=0 (N termo= 4;5;6;7) (N termo= 2;6) N termo X Y Z F(X,Y,Z) 0 0 0 0 0 1 0 0 1 0 2 0 1 0 1 3 0 1 1 0 4 1 0 0 1 5 1 0 1 1 6 1 1 0 1 7 1 1 1 1 F(X,Y,Z)=X+YZ (X+Y).(X+Z) A expresso encontra-se na forma produto de somas, logo podemos concluir que a funo F toma o valor 0: ou quando X+Z=0 quando X+Y=0 X=0 ; Y=0 ; Z X=0 ; Y ; Z=0 X=0 ; Y ; Z=1 (N termo= 0;1) (N termo= 1;3) N termo X Y Z F(X,Y,Z) 0 0 0 0 0 1 0 0 1 0 2 0 1 0 1 3 0 1 1 0 4 1 0 0 1 5 1 0 1 1 6 1 1 0 1 7 1 1 1 1