ListaEstruturadelgebradeBoole

1- Seja B = {0,1} o conjunto formado pelos inteiros 0 e 1, e defina operaes binrias + e . em B por
x + y = max(x,y)
x . y = min(x,y)
Complete as tabelas a seguir:
.
0
1
+
0
1
0
0
1
1
2- Verifique a propriedade 2b (associatividade) e 4b (identidade).
3- Verifique que a propriedade de idempotncia da soma x + x = x vlida em qualquer lgebra de Boole.
Obs: Cada propriedade na definio de lgebra de Boole tem a sua propriedade dual como parte da definio, onde a
dual obtida permutando-se + com . e 1 com 0.
4- Como fica a idempotncia do exerccio 3 no contexto de teoria dos conjuntos?
5- a) Prove que a propriedade x + 1 = 1 vlida em qualquer lgebra de Boole. Explicite a propriedade usada em
cada passo da demonstrao.
b) Qual a propriedade dual?
Sugestes para Demonstraes de Identidades em lgebras de Boole
Em geral, a melhor abordagem comear com a expresso mais complicada e tentar mostrar que ela se reduz
expresso mais simples.
Considere somar 0 em alguma forma (como x . x) ou multiplicar por 1 em alguma forma (como x + x).
Lembre-se da propriedade 3, a distributividade da multiplicao em relao soma fcil de esquecer porque no
vlida na aritmtica usual.
Lembre-se da itempotncia da soma e da multiplicao, x + x = x e x . x = x.
LGEBRA DE BOOLE ISOMORFAS
Isomorfismo
Dois exemplos de uma estrutura so isomorfos se existe uma bijeo (chamada de isomorfismo) que leva elementos
de um exemplo em elementos do outro de modo que as propriedades relevantes so preservadas.
Se dois exemplos de uma estrutura so isomorfos, cada um uma imagem espelhada do outro, como os elementos
simplesmente renomeados.
Definio:IsomorfismoentrelgebrasdeBoole
Sejam , ,, , 0,1 e , &,, , , 1 lgebras de Boole. Uma funo f:B
b um isomorfismo de
, &,, , , 1 se
1. fumabijeo
2. f(x+y)=f(x)&f(y)
3. f(x.y)=f(x)*f(y)
4. f(x)=(f(x))

, ,, , 0,1 em

6- Considere os dois conjuntos parcialmente ordenados

Desenhe os diagramas de Hasse de cada um desses conjuntos. D a relao de bijeo f entre os vrtices dos dois
diagramas:

f(1) =
f(2) =
f(3) =
f(5) =
f(6) =
f(10) =
f(15) =
f(30) =
OBS: A bijeo f um isomorfismo do conjunto parcialmente ordenado (S1, ) no conjunto parcialmente ordenado
(S2, ).Comoesseisomorfismoexiste,osconjuntosparcialmenteordenados(S1, )e(S2, )soisomorfos.

10
16

20