SISTEMAS DIGITAIS

Representao e simplificao algbrica das funes booleanas

Prof. Carlos Srro

Setembro de 2005

Sistemas Digitais

Representao algbrica
!
Prof. Carlos Srro

Consideremos a funo booleana F = AB+AC escrita em forma normal disjuntiva (soma de produtos)

Setembro de 2005

Sistemas Digitais

Representao algbrica
F = AB+AC
Prof. Carlos Srro

Como ser possvel obter uma forma normal conjuntiva da funo ? ! Sabemos que essa forma deve assumir a forma de um produto de somas. Mas qual?
!

Setembro de 2005

Sistemas Digitais

Representao algbrica
Vamos procurar uma forma normal conjuntiva utilizando o teorema da distributividade da soma lgica em relao ao produto lgico que diz que X+Y Z = (X+Y) (X+Z) ! No nosso caso dar
!
Prof. Carlos Srro

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

Setembro de 2005

Sistemas Digitais

Representao algbrica
!
Prof. Carlos Srro

Podemos ainda voltar a aplicar o mesmo teorema

F = (AB+A) (AB+C) = (A+A) (B+A) (A+C) (B+C) ! J temos uma forma normal conjuntiva para a funo. Contudo, podemos simplific-la. claro que A+A=A e ento fica F = A (A+B) (A+C) (B+C)
Setembro de 2005 Sistemas Digitais 5

Representao algbrica
Para alm das formas normais (disjuntiva e conjuntiva), existem ainda outras formas algbricas para representar uma funo booleana qualquer, como veremos frente ! De entre essas formas, distinguem-se as chamadas formas cannicas (disjuntiva e conjuntiva) e outras formas, no necessariamente em somas de produtos ou em produtos de somas
!
Prof. Carlos Srro
Setembro de 2005 Sistemas Digitais 6

Representao algbrica
!
Prof. Carlos Srro

Como veremos mais tarde, cada funo booleana tem Contudo, a mesma funo possui vrias formas normais disjuntivas (soma de produtos) e vrias formas normais conjuntivas (produto de somas)

" uma e apenas uma forma cannica disjuntiva

" uma e apenas uma forma cannica conjuntiva

Setembro de 2005

Sistemas Digitais

Tabelas de verdade
Consideremos novamente a funo booleana F = AB+AC e construamos a tabela de verdade que lhe corresponde ! Para o fazer, notemos que
!
Prof. Carlos Srro

F = 1 se AB = 1 ou se AC = 1
Setembro de 2005 Sistemas Digitais 8

Tabelas de verdade
!
Prof. Carlos Srro

Ou seja, a funo deve valer 1

Naturalmente, nas restantes linhas da tabela de verdade a funo deve valer 0

AeB valem 1 (porque nessas linhas o produto lgico AB vale 1) " nas linhas em que A vale 1 e C vale 0 (porque nessas linhas o produto lgico AC vale 1)
" nas linhas da tabela de verdade em que

Setembro de 2005

Sistemas Digitais

Tabelas de verdade
F = AB+AC
Prof. Carlos Srro

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

Tabela de verdade da funo

AC = 1 AB = 1

Setembro de 2005

Sistemas Digitais

10

ANDs, ORs e NOTs

Qualquer funo pode ser definida em termos destas 3 funes. ! Exemplifiquemos. ! Considerem-se 3 funes, F1, F2 e F3, obtidas da tabela da funo F = AB+AC
!
Prof. Carlos Srro

de modo a que cada uma delas tem apenas um "1" na tabela correspondente ! Obtemos as seguintes tabelas de verdade
Setembro de 2005 Sistemas Digitais 11

ANDs, ORs e NOTs

A
Prof. Carlos Srro

B 0 0 1 1 0 0 1 1

C 0 1 0 1 0 1 0 1

F1 0 0 0 0 1 0 0 0

F2 0 0 0 0 0 0 1 0

F3 0 0 0 0 0 0 0 1

F 0 0 0 0 1 0 1 1

0 0 0 0 1 1 1 1

F = AB+AC F1 = ABC F2 = ABC F3 = ABC

12

Setembro de 2005

Sistemas Digitais

ANDs, ORs e NOTs

!
Prof. Carlos Srro

fcil de ver que F = F1 + F2 + F3 , com

F1 = ABC F2 = ABC
!

Logo, vir

F3 = ABC

F = ABC + ABC + ABC

Setembro de 2005 Sistemas Digitais 13

ANDs, ORs e NOTs

O mtodo utilizvel com generalidade e, portanto, sempre possvel definir uma funo utilizando o conjunto {AND, OR, NOT} ! Dizemos, ento, que este conjunto completo
!
Prof. Carlos Srro

Setembro de 2005

Sistemas Digitais

14

ANDs, ORs e NOTs

O conjunto {AND, OR, NOT} no o nico conjunto completo ! Existem outros, nomeadamente os conjuntos {NAND} e {NOR} ! Ou seja, h-de ser possvel representar qualquer funo booleana apenas com NANDs ou apenas com NORs ! Mais tarde abordaremos esta questo
!
Prof. Carlos Srro
Setembro de 2005 Sistemas Digitais 15

Soma de mintermos
O mtodo anterior possibilitou a passagem da representao da funo por tabela de verdade para uma representao algbrica ! Contudo, como vimos, a expresso obtida no foi a mais simples possvel
!
Prof. Carlos Srro

Setembro de 2005

Sistemas Digitais

16

Soma de mintermos
!
Prof. Carlos Srro

Embora no sendo a soma de produtos mais simples para F, esta ltima expresso tem uma caracterstica muito importante
" trata-se de uma expresso que uma soma de

produtos em que CADA parcela da soma envolve o produto de TODAS as variveis da funo ou dos seus complementos literais " Obs: - um literal uma varivel ou o seu complemento: x e x so literais

Setembro de 2005

Sistemas Digitais

17

Soma de mintermos
F = ABC + ABC + ABC ! Os produtos lgicos deste tipo designamse por mintermos ou por termos minimais ! A esta soma de produtos chama-se 1 forma cannica ou forma cannica disjuntiva ! bvio que a expresso da 1 forma cannica nica para uma dada funo F

Prof. Carlos Srro

Setembro de 2005

Sistemas Digitais

18

Soma de mintermos
Com efeito, repare-se que cada mintermo da 1 forma cannica corresponde a um dos "1s" da funo F ! Por exemplo, o mintermo ABC corresponde ao "1" da ltima linha da tabela de verdade de F
!
Prof. Carlos Srro

Setembro de 2005

Sistemas Digitais

19

Soma de mintermos

Prof. Carlos Srro

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

F2 0 0 0 0 0 0 1 0

F3 0 0 0 0 0 0 0 1

F 0 0 0 0 1 0 1 1

mintermo ABC

Setembro de 2005

Sistemas Digitais

20

Soma de mintermos
!
Prof. Carlos Srro

usual numerar as linhas da tabela de verdade fazendo corresponder a cada configurao de variveis o seu equivalente decimal

Setembro de 2005

Sistemas Digitais

21

Soma de mintermos

Prof. Carlos Srro

A 0 1 2 3 4 5 6 7 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

Setembro de 2005

Sistemas Digitais

22

Soma de mintermos
Podemos, assim, referir cada um dos mintermos pelo nmero da respectiva linha da tabela ! Assim:
!
Prof. Carlos Srro

"A

B C ser a expresso do mintermo m7 " A B C ser a expresso do mintermo m4 " etc

Setembro de 2005

Sistemas Digitais

23

Soma de mintermos

Prof. Carlos Srro

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

F2 0 0 0 0 0 0 1 0

F3 0 0 0 0 0 0 0 1

F 0 0 0 0 1 0 1 1

m4 = ABC m6 = ABC m7 = ABC

24

Setembro de 2005

Sistemas Digitais

Soma de mintermos
!
Prof. Carlos Srro

E, assim, podemos escrever

F = m4 + m6 + m 7
Ou, em alternativa,

F = ! m (4, 6, 7)
1 forma cannica de F ou Forma cannica disjuntiva de F
Setembro de 2005 Sistemas Digitais 25

Produto de maxtermos
Em vez de se trabalhar com 1s, tambm possvel construir um produto de somas para uma funo atravs dos seus 0s ! Essa expresso um produto de somas em que CADA factor do produto envolve TODAS as variveis da funo ou os seus complementos literais
!
Prof. Carlos Srro

Setembro de 2005

Sistemas Digitais

26

Produto de maxtermos
!
Prof. Carlos Srro

Vamos seguir um processo semelhante ao anterior, mas com os 0s da funo

F = AB+AC

Setembro de 2005

Sistemas Digitais

27

Produto de maxtermos
F = AB+AC
Prof. Carlos Srro

M0 = A+B+C M1 = A+B+C M2 = A+B+C M0, M1, ... so maxtermos ou termos maximais

28

A 0 1 2 3 4 5 6 7 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

Setembro de 2005

Sistemas Digitais

Produto de maxtermos
A 0 1 2 3 4 5 6 7 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

F = AB+AC
2 forma cannica de F ou Forma cannica conjuntiva de F

Prof. Carlos Srro

( ( ( ( F = (A + B + C ) A + B + C ) A + B + C ) A + B + C ) A + B + C )
F = M 0 .M 1.M 2 .M 3 .M 5 " f = ! M (0,1,2,3,5)
Setembro de 2005 Sistemas Digitais 29

Logigramas e esquemas elctricos

!
Prof. Carlos Srro

Existem representaes diagramticas para uma funo booleana sob a forma de

" um logigrama " um esquema elctrico

Estas representaes vm associadas s diferentes expresses lgicas que cada funo pode assumir

Setembro de 2005

Sistemas Digitais

30

Logigramas e esquemas elctricos

A cada expresso lgica corresponde um logigrama ! A cada logigrama correspondem 1 ou mais esquemas elctricos ! Ao longo do curso iremos ver como representar os logigramas e os esquemas elctricos para cada funo
!
Prof. Carlos Srro

Setembro de 2005

Sistemas Digitais

31

Importncia dos NANDs e NORs

!
Prof. Carlos Srro

Como vimos, qualquer funo pode ser representada como uma soma de mintermos. Por exemplo
f = ABC + ABC + AB C

Aplicando uma dupla negao expresso

f = ABC + ABC + AB C

Aplicando uma das Leis de Morgan

f = ABC ! ABC ! AB C
Setembro de 2005 Sistemas Digitais 32

Importncia dos NANDs e NORs

f = ABC ! ABC ! AB C
Prof. Carlos Srro
! !

Obteve-se uma expresso em que s surgem NANDs e NOTs Como um NOT pode ser implementado por um NAND, ento qualquer funo pode ser implementada s com NANDs Um NOT pode ser visto como um NAND de uma entrada.

A! A = A
Setembro de 2005

A A

&

A. A = A
33

Sistemas Digitais

Importncia dos NANDs e NORs

O mesmo se aplica aos NORs ! Basta partir da 2 forma cannica ! Um NOT tambm pode ser implementado por um NOR
!
Prof. Carlos Srro

Setembro de 2005

Sistemas Digitais

34

Simplificao algbrica
!
Prof. Carlos Srro

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

Setembro de 2005

Sistemas Digitais

35

Simplificao algbrica
!
Prof. Carlos Srro

Simplificar
f = A B C + AC + BC = (A B + A + B ) C = (B + A + B ) C = 1.C =C

Setembro de 2005

Sistemas Digitais

36

Simplificao algbrica
!
Prof. Carlos Srro

Obter uma expresso com operadores de 2 variveis e negaes

f = A B D + A C D + ACD + AB D = A (B D + C D )+ A(CD + B D )

Obter uma expresso s com NANDS

f = A B D + A C D + ACD + AB D = A B D ! A C D ! ACD ! AB D
Setembro de 2005 Sistemas Digitais 37