Matemtica Computacional lgebra Booleana parte II

1 Perodo ADS Prof. Aristteles Meneses Lima

 Comparando o universo das proposies, com os relacionamentos da disjuno e da conjuno e suas propriedades; o universo dos conjuntos, com os relacionamentos da unio e interseo e suas propriedades; e o universo dos interruptores, com os relacionamentos em paralelo e em srie e suas propriedades, o que notamos? Apesar dos objetos dos trs universos serem diferentes, algo similar comum a todos, a saber, as propriedades inerentes aos relacionamentos. Existe ento uma mesma interioridade da qual emanam as propriedades. Essa essencialidade denominada uma estrutura matemtica. Se prescindimos dos particulares objetos pertencentes a um determinado universo mantendo os relacionamentos e as propriedades, podemos definir uma estrutura geral (abstrata), ou seja, o conceito que expressa a essencialidade; e o que faremos a seguir.

Introduo

Sistemas Algbricos
Denominamos sistema algbrico (lgebra abstrata) um conjunto no vazio A, sobre o qual so definidas, duas ou mais operaes binrias. Para o nosso escopo, trabalharemos com duas operaes binrias, e denotaremos uma lgebra por (A,+,.), onde os sinais + e . indicam as duas operaes, seguir, apresentaremos a lgebra que d nome a este captulo, a qual uma das mais importantes frutferas da modernidade, a lgebra booleana.

lgebra Booleana
Uma lgebra booleana consiste em um conjunto no vazio B, sobre o qual so definidas duas operaes binrias, denotadas por + e , as quais satisfazem as propriedades (axiomas) enunciadas seguir. Para quaisquer a, b, c pertencentes a B, valem:

(1) (2) (3) (4) (5) (6) (7) (8) (9)

a+b = b+a (comutativa)

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

(a.b).c = a.(b.c) (associativa) a+(b.c) = (a+b).(a+c) (distributiva) a.(b+c) = a.b + a.c (distributiva) Existe 0 B tal que a+0 = 0+a = a (identidade) Existe 1 B tal que a.1 = 1.a = a (identidade) a+a'= 1 (complemento)

(10) a.a' = 0 (complemento)

Observao Restringiremos nosso estudo s lgebras booleanas para as quais 01 (lgebras no degeneradas). Pelo que vimos, o conjunto das proposies, com as operaes de conjuno e disjuno; o conjunto das partes de um conjunto, com as operaes de unio e interseo; o conjunto dos interruptores, com as ligaes em paralelo e em srie, constituem trs exemplos de lgebras booleanas. No terceiro exemplo, a lgebra booleana denominada lgebra dos interruptores ou lgebra da comutao, e a base matemtica da anlise e projeto dos circuitos integrados que compem os sistemas computacionais. Pela sua importncia, resumimos este terceiro exemplo simplificadamente: B = {0,1} uma lgebra booleana, cujas operaes so definidas pelas seguintes tabelas:

Outras propriedades
1) Propriedade idempotente: a+a = a Demonstrao a+a = (8) = (a+a).1 (9) = (a+a).(a+a') (5) = a+(a.a') (10) = a+0 (7) =a

 2) Pelo que observamos acima, o dual da propriedade idempotente demonstrada no Exemplo a.a = a, tambm verdadeiro. 3) a.0 = 0 Demonstrao a.0 = (10) = a.(a.a') (4) = (a.a).a' (idempotente) = a.a' (10) =0 4) 0 dual da propriedade demonstrada no Exemplo 3) a+1=1

 5) a+(a.b) = a (Lei da Absoro) Demonstrao a+(a.b) = (8) = (a.1)+(a.b) (6) = a.(1+b) (1) = a.(b+1) (exemplo 4) = a.1 (8) =a 6) a.(a+b) = a (dual da Lei da Absoro)

 7) a.(a'+ b) = a.b Demonstrao a.(a'+ b) = =(a.a')+(a.b) = 0+(a.b) = a.b

(6) (10) (7)

8) a+(a' .b) = a+b (dual da propriedade do Exemplo 7)

 9) Unicidade do complemento Para qualquer elemento a e B, o complemento de a nico. Demonstrao Sejam a' e a1' complementos de a. Ento: a+a1'= 1 (i) a.a1'= 0 (ii) E temos: a1'= (8)

= a1.1 = a1.(a+a') = a1.a + a1.a = a.a1+ a.a1 = 0 + a.a1 = a.a'+ a.a1 = a.a + a.a1 = a.(a+a1) = a.1 = a'

(9) (6) (2) (ii)

(10)
(2) (6) (i) (8)

 10) (a')'= a Demonstrao Sendo a' o complemento de a, temos: a+a' = 1 e a.a' = 0. Pela comutatividade, a'+ a = 1 e a.a = 0. Ento, a o complemento de a'. Pela unicidade do complemento, segue que (a ')'= a 11) a.b+a.b'= a Demonstrao a.b+a.b' = (6) = a.(b+b') (9) = a.1 (8) =a

 12)0'= 1 e 1'=0 Demonstrao Temos: 1+0 = 0+1 = 1 (7) 0.1 = 1.0 = 0 (8) Pela unicidade do complemento, segue que 0'= 1 e 1'=0

 13) (Leis de De Morgan) (a+b)' = a.b' e (a.b)' = a'+ b' Demonstrao (a+b)+ a.b' = (5) = [(a+b)+a'].[(a+b)+b'] (1) = [(b+a)+a' ] [(a+b)+b' ] (3) = [b+(a+a')].[ a+(b+b')] (9) = (b+1).(a+1) (Exemplo 4) = 1.1 (8) =1

(a+b).(a.b') = (2) = (a.b').(a+b) (6) = [(a.b').a]+[(a.b').b] (2) = [a.(a.b')]+[ b.(a.b')] (2) = [a.(a.b')]+[ b.(b.a')] (4) = [(a.a').b')]+[(b.b').a')] (10) = (0.b')+(0.a') (2) = (b.0)+(a.0) (Exemplo 3) = 0+0 (7) =0 Conclumos que a.b' o complemento de a+b, isto : (a+b)' = a.b' O dual desta propriedade : (a.b)' = a'+ b'

 14)a.b + a.c + b.c = a.b + a.c Demonstrao a.b + a.c + b.c = = a.b + a.c + (b.c).1 (9) = a.b + a.c + (b.c).(a+a') (6) e (2) = a.b + a.c + a.b.c + a.b.c (1) e (6) = (a.b).(1+c) + (a.c).(1+b) (1) = (a.b).(c+1) + (a.c).(b+1) (Exemplo 4) = (a.b).1 + (a.c).1 (8) = a.b + a.c

 15) (a+b).(a'+c) = a.c + a.b Demonstrao (a+b).(a'+c) = (6) e (2) = a.a'+ a.c + a.b + b.c (10) e (7) = 0+a.c + a.b + b.c.1 (8) e (9) = a.c + a.b + b.c.(a+a') (6) e (2) = a.c + a.b + a.b.c + a.b.c (1), (2) , (6) = (a.b).(1+c) + (a.c).(1+b) (1) = (a.b).(c+1) + (a.c).(b+1) (Exemplo 4) = (a.b).1 + (a.c).1 (8) e (1) = a.c + a.b

 16 ) Determinar o complemento de m.n + m.n Soluo (m.n + m.n')' = (Exemplo 13 Leis de De Morgan) = (m.n).(m.n') (Exemplo 13 Leis de De Morgan) = [(m')'+ n'].[m'+ (n')'] (Exemplo 10) = (m + n').(m'+ n) (6) e (2) = m.m'+ m.n + m.n'+ n.n' (10) = 0 + m.n + m.n' + 0 (7) =m.n+m.n Portanto: (m.n + m.n')'= m.n + m.n'

 17) Determinar o circuito complementar de

 Soluo: A expresso booleana correspondente ao circuito dado : a.b+a.b Do Exemplo 16, temos que (a.b + a.b')' = a.b + a.b' A expresso booleana do lado direito desta igualdade corresponde ao circuito complementar do circuito dado. Portanto, este ser:

 Nos exemplos seguintes, mostraremos como podemos utilizar as propriedades de lgebras booleanas para simplificar circuitos contendo interruptores, substituindo-os por dispositivos equivalentes com menos componentes. Agora que j exercitamos a aplicao das propriedades, utilizaremos vrias delas em uma mesma etapa da simplificao, deixando os detalhes a cargo do esforado aluno.

 1) Simplificar o circuito dado

Soluo: A expresso booleana correspondente ao circuito a.b + a.c + b.c No Exemplo 14 mostramos que a.b + a.c + b.c = a.b + a.c Portanto, o circuito simplificado equivalente

 2) Simplificar o circuito

Soluo: A expresso booleana correspondente ao circuito ((a + b.c).(c'+ a.b') + a.b.c'))

 Temos: ((a + b.c).(c'+ a.b')+ a.b.c')) = = a.c'+ a.a.b'+ b.c.c'+ a.b.b.c + a.b.c' = = a.c'+ 0+0+0+ a.b.c' = (a + a.b').c' = = [(a+a').(a+b')].c' = 1.(a+b').c' = (a+b').c Portanto: (a + b.c).(c'+ a.b')+ a.b.c') = (a+b').c

 3) Simplificar o circuito

Soluo A expresso booleana correspondente ao circuito a.b'+ a.b.c + a.c

 Temos: a.b'+ a.b.c + a.c = a.(b'+ b.c)+ a.c = = a.[(b'+ b).(b'+c)] + a.c = a.1.(b'+c)+ a.c = = a.(b'+c)+ a.c = a.b'+ a.c + a.c = = a.b'+ (a+a').c = a.b'+ 1.c = a.b'+ c Logo: a.b'+ a.b.c + a.c = a.b'+ c

 E o circuito simplificado correspondente :