Sistemas Digitais

lgebra de Boole Binria e Especificao de Funes

Joo Paulo Baptista de Carvalho (Prof. Auxiliar do IST)
joao.carvalho@inesc.pt

lgebra de Boole Binria

A

lgebra de Boole binria atravs do recurso utilizao de funes booleanas (ou funes lgicas) a principal teoria de suporte s metodologias de sntese e anlise de circuitos digitais Utiliza variveis binrias, i.e., que s podem assumir um de dois valores: {0,1}; {Low,High}; {True,False}; etc. s variveis Binrias tambm se d o nome de variveis Lgicas ou Booleanas
Uke2010 Sistemas Digitais 2

Funes Lgicas de Uma Varivel

Como s esto definidos 2 elementos no universo da lgebra de Boole binria, o nmero de funes lgicas finito, o que potencia uma abordagem algbrica bastante simples Veja-se o exemplo para uma nica varivel:
x
0 1

Tabela de verdade

f0(x)
0 0

f1(x)
0 1

f2(x)
1 0

f3(x)
1 1

S existem 4 funes possveis!

constante 0
Uke2010

identidade

negao
Sistemas Digitais

constante 1
3

Negao (NOT)

Das funes apresentadas, a Negao, Complemento, ou NOT, a mais importante, e caracteriza-se por transformar uma afirmao Verdadeira numa Falsa (e vice-versa) Para alm da expresso algbrica e da tabela de verdade, a negao pode ser graficamente representada por um dos seguintes smbolos lgicos:

NOT

Inversor (INV)

Dupla Negao: Demonstrao do teorema da dupla negao por induo completa:

x 0 1

x 1 0

x 0 1

Uke2010

Sistemas Digitais

Funes de Duas Variveis

Existem 16 diferentes funes lgicas de 2 variveis. As mais importantes so denominadas AND, OR, NAND, NOR e XOR Conjuno (AND, Produto Lgico, ) e Disjuno (OR, Soma Lgica, ): AND
x
0 0 1 1

OR
x.y
0 0 0 1

y
0 1 0 1

x
0 0 1 1

y
0 1 0 1

x+y
0 1 1 1

Uke2010

Sistemas Digitais

Funes de Duas Variveis

NAND (AND negado), NOR (OR negado) e XOR (OU-Exclusivo):

x
0 0 1 1

NAND

y
0 1 0 1

x.y
1 1 1 0

NOR

x
0 0 1 1

y
0 1 0 1

x+y
1 0 0 0

XOR

x
0 0 1 1

y
0 1 0 1

xy
0 1 1 0
Sistemas Digitais 6

Uke2010

lgebra de Boole Binria

Uma lgebra de Boole binria um sistema algbrico B2 = (A={0,1}, . ,+) formado por um conjunto gerador A e por duas operaes binrias, . , +, designadas por produto lgico e soma lgica, e por uma operao designada por complemento, tal que:
(I) (II)

x,yA (x y A) (x + y A)
verifica-se:

(Propriedade de Fecho)

A1 (Propriedade Comutativa) A2 (Propriedade Associativa) A3 (Propriedade Distributiva) A4 (Elemento neutro) A5 (Complemento) A6 (Idempotncia)

[Hist.] Boole, George (1815-1864), Matemtico britnico. Em 1854, publicou An Investigation of the Laws of Thought onde descreveu um sistema algbrico mais tarde designado por lgebra de Boole
Uke2010 Sistemas Digitais 7

Propriedades Bsicas da lgebra de Boole Binria

(XOR)

Comutatividade Associatividade Distributividade DeMorgan Adjacncia

Uke2010 Sistemas Digitais 8

Princpio da Dualidade
Qualquer

expresso vlida numa lgebra de Boole tem uma expresso dual, tambm vlida nessa lgebra, que se obtm por troca do smbolo operatrio + com o smbolo operatrio ., e por troca do par de valores 0 e 1 Exemplo:

Uke2010

Sistemas Digitais

Mais teoremas...

Absoro:

Redundncia:

Consenso:

Uke2010

Sistemas Digitais

10

Leis de Morgan:
Permitem transformar uma soma de produtos num produto de somas e viceversa Verificao por Tabelas de Verdade

x 0 0 1 1 y 0 1 0 1 x+y 0 1 1 1 x+y 1 0 0 0 x 0 0 1 1 y 0 1 0 1 x y 1 1 1 0 0 1 0 0 x.y 1 0 0 0

Generalizao para n variveis

Uke2010

Sistemas Digitais

11

Representao de Funes
" Por funo Booleana:
b e c so os termos da funo. , b e c so os literais.

" Por Tabela de Verdade:

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

" Por Circuito Lgico (ou Logigrama):

Uke2010

Sistemas Digitais

12

Funes mais de 2 variveis

Exemplo de Simplificao e Representao sob a forma de Logigrama:

Uke2010

Sistemas Digitais

13

Exemplo de Simplificao (II)

Realizao a 2 nveis (soma de produtos)

Realizao Multinvel

Uke2010

Sistemas Digitais

14

Especificao por tabela: Importncia das funes AND, OR e NOT

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

f1
0 0 0 0 0 0 0 1

f2
0 0 0 0 0 0 1 0

f3
0 0 0 0 1 0 0 0

f
0 0 0 0 1 0 1 1

sempre possvel definir uma funo utilizando o conjunto {AND, OR, NOT} !!!
Sistemas Digitais 15

Uke2010

Especificao por soma de mintermos

O mtodo anterior permitiu igualmente a passagem da representao de uma funo por uma tabela para uma expresso algbrica Essa expresso uma soma de produtos em que todos os produtos envolvem todas as variveis da funo
A
0 0 0 0 1 1 1 1

m
0 1 2 3 4 5 6 7

B
0 0 1 1 0 0 1 1

C
0 1 0 1 0 1 0 1

f
0 0 0 0 1 0 1 1

A estes produtos chama-se mintermos A expresso em termos de soma de mintermos nica A esta expresso tambm se chama 1 forma cannica ou forma cannica normal disjuntiva Cada mintermo corresponde a um dos 1s da funo

usual referir cada mintermo pelo nmero correspondente em binrio Assim:

Uke2010 Sistemas Digitais 16

Especificao por produto de maxtermos

Em vez de se trabalharem com 1s, tambm possvel construir a expresso da funo atravs dos seus 0s Essa expresso um produto de somas em que todas as somas envolvem todas as variveis da funo
A
0 0 0 0 1 1 1 1

M
0 1 2 3 4 5 6 7

B
0 0 1 1 0 0 1 1

C
0 1 0 1 0 1 0 1

g
0 0 0 0 1 0 1 1

A cada uma das somas chama-se maxtermo A esta expresso tambm se chama 2 forma cannica ou forma cannica normal conjuntiva Cada maxtermo corresponde a um dos 0s da funo

usual referir cada maxtermo pelo nmero correspondente em binrio Assim:

Uke2010 Sistemas Digitais 17

Especificao da 1 forma cannica por logigrama

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

Cada mintermo representado por uma das portas AND Existe uma correspondncia entre cada AND, cada um dos 1s da tabela e cada um dos produtos da expresso
Sistemas Digitais 18

Uke2010

Importncia das funes NAND e

NOR

Como vimos, qualquer funo pode ser representada como uma soma de mintermos. Por exemplo: Aplicando uma dupla negao expresso: Aplicando as Leis de Morgan:

Obtm-se assim uma expresso em que s surgem NANDs e NOTs. Como um NOT pode ser feito com um NAND, ento qualquer funo pode ser implementada s com NANDs

O mesmo se aplica aos NORs (basta partir da 2 forma cannica)

Uke2010 Sistemas Digitais 19

Manipulao e Simplificao de Funes

A manipulao de uma funo pode ser feita para obter uma expresso mais simples ou para obter a expresso em certas formas:

Simplificar

Obter expresso com operadores de 2 variveis e negaes

Obter expresso s com NANDS

Uke2010

Sistemas Digitais

20

Bibliografia

Arroz,G., Monteiro,J.C., Oliveira,A., Arquitectura de Computadores, dos Sistemas Digitais aos Microprocessadores, Captulo 2, 2 Edio, 2009 Mano,M., Kime,C. Logic and Computer Design Fundamentals, Prentice Hall, Caps 2.1,2.2 Srro,C. Sistemas Digitais: Fundamentos Algbricos, IST Press, 2003

Uke2010

Sistemas Digitais

21