lgebra de Boole

Raul Queiroz Feitosa

Objetivo

Apresentar propriedades fundamentais da lgebra de Boole.

lgebra de Boole

Contedo
Postulados Teoremas Fundamentais Simplificao de Funes Lgicas Funes de Chaveamento

Sistemas de Numerao e Cdigos

Postulados
Postulado I
Existe um conjunto de K objetos ou elementos sujeitos relao de equivalncia, denotada =, que satisfaz o princpio da substituio, ou seja, se a=b, a pode ser substitudo por b em qualquer expresso envolvendo b sem afetar a validade da expresso.
Sistemas de Numerao e Cdigos 4

Postulados
Postulado IIIa
Existe um elemento 0 em K tal que para todo a em K, a+0=a

Postulado IIIb
Existe um elemento 1 em K tal que para todo a em K, a 1 = a.

Sistemas de Numerao e Cdigos

Postulados
Postulado IVa. a + b = b + a Postulado IVb. a b = b a
propriedade comutativa

Postulado Va. a + (b c) = (a + b) (a + c) Postulado Vb. a (b + c) = (a b) + (a c)

propriedade distributiva

Postulado VI. Para todo elemento a em K existe um elemento a tal que aa=0 a+a =1
Sistemas de Numerao e Cdigos 6

Dualidade
Cada teorema tem seu dual substituindo 0 por 1 e + por Exemplos: a+ 0=a a 1=a ou ainda a+(b c) a(b + c) = (a + b) (a + c) = (a b) + (a c)
7

Sistemas de Numerao e Cdigos

Contedo
Postulados Teoremas Fundamentais Simplificao de Funes Lgicas Funes de Chaveamento

Sistemas de Numerao e Cdigos

Teoremas Fundamentais
Lema 1:
Os elementos 0 e 1 so nicos.

Lema 2:
Para todos os elementos a em K, a+a = a a a =a
Sistemas de Numerao e Cdigos 9

Teoremas Fundamentais
Lema 3:
Para todos os elementos a em K, a+1 = 1 a 0 = 0

Lema 4:
Os elementos 0 e 1 so distintos e 1=0 1=0
10

Sistemas de Numerao e Cdigos

Teoremas Fundamentais
Lema 5:
Para todo par de elementos a e b em K, a + ab = a a(a + b) = a

Lema 6:
Para cada a em K a nico.
Sistemas de Numerao e Cdigos 11

Teoremas Fundamentais
Lema 7:
Para cada a em K e b em K, a= a

Lema 8: (propriedade comutativa)

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

Sistemas de Numerao e Cdigos

12

Teoremas Fundamentais
Teorema 9: Para quaisquer trs elementos a,b e c em K (propriedade associativa)
a+(b+c) =(a+ b)+c

Teorema 10: Para qualquer par de elementos a e b em K

a+ab= a+b a ( a + b ) = ab.
Sistemas de Numerao e Cdigos 13

Teoremas Fundamentais
Teorema 11: (DeMorgan) Para qualquer par de elementos a e b em K
(a+ b)=a b ab=(a+ b)

Sistemas de Numerao e Cdigos

14

Teoremas Fundamentais
Teorema 12: Para quaisquer trs elementos a,b e c em K
ab a c bc ab a c ( a b )( a c )( b c ) ( a b )( a c )

Prova:
ab a c bc ab a c bc ( a a ) ab abc a c a bc ab (1 c ) a c (1 b ) ab a c ( a b )( a c )( b c ) ( a b )( a c )
Sistemas de Numerao e Cdigos

Dualidade!
15

Contedo
Postulados Teoremas Fundamentais Simplificao de Funes Lgicas Funes de Chaveamento

Sistemas de Numerao e Cdigos

16

Simplificao
Exemplo 1: Simplifique a funo abaixo
F x , y , z y z z z x x z x y x z y z x z x y x z y z x z x y z yz x y z yz x z x y Identifica F x, y, z zy x z
Sistemas de Numerao e Cdigos 17

(Lema

5) Vb)

(Postulado (Lema 5)

(Postulado

Vb) 12

ndo z com a , y com b e x com c no teorema

Simplificao
Exemplo 1: Redes antes e aps a simplificao

rede aps a simplificao

rede antes da simplificao Sistemas de Numerao e Cdigos

18

Simplificao
Exemplo 2 : Simplifique a funo abaixo
F w , x , y , z x xyz yz x wx w x x y x yz ( x x ) x y x ( w w ) x x y yz x x y yz x x y (Teorema (Teorema 10) 5) (Postulado Vb)

Sistemas de Numerao e Cdigos

19

Simplificao
Exerccio 1:Verifique as igualdades abaixo por manipulao algbrica. Justifique cada passo com uma referncia a um postulado ou teorema:
a x
(b) (c) y xy

x y x y c
d

0 d e ab c d

x ab

y x y xy x z yz xy x y z c d

Sistemas de Numerao e Cdigos

20

10

Simplificao
Exerccio 2: Usando teoremas e postulados simplifique as frmulas abaixo de modo a terem o mnimo de ocorrncia de cada varivel.
a x y xyz
(b) y z x xy z x x y

y x xz x z y y

(c) x z y x z y z x y z x y z y x z

Sistemas de Numerao e Cdigos

21

Contedo
Algebra de Boole e Funes Lgicas Postulados Teoremas Fundamentais Simplificao de Funes Lgicas Funes de Chaveamento

Sistemas de Numerao e Cdigos

22

11

Funes de Chaveamento
Uma funo de chaveamento de n variveis qualquer atribuio particular de valores (0s ou 1s) para todas as possveis 2n combinaes de valores das n variveis.
x1 0 0 0 0 1 1 1 1
2
n

x2 0 0 1 1 0 0 1 1

x3 0 1 0 1 0 1 0 1

F ? ? ? ? ? ? ? ?

H 2 funes de chaveamento distintas para n variveis.

Sistemas de Numerao e Cdigos

lgebra de Boole

Fim
Sistemas de Numerao e Cdigos 24

12