Академический Документы
Профессиональный Документы
Культура Документы
Estruturas Matemáticas
• DEFINIÇÃO:
- C é um conjunto
f
2 3 {1} {2}
1 ∅
f é um isomorfismo de P1 em P2
Isomorfismo de álgebras booleanas
– f é uma bijeção
– f(x+y) = f(x) & f(y)
– f(x.y) = f(X) * f(y)
– f(x’) = f(x)”
Isomorfismo
f f-1
u,w∈A v ∈A
operação (&, *, “)
Exercício
Sejam C = <{0, 1, a, b}, +, ·, “, 0, 1>, + 0 1 a b “
onde as operações são dadas pelas 01
0 0 1 a b
tabelas ao lado, e
B = <P({1,2}), ∪, ∩, ‘, ∅, {1,2}> 1 1 1 1 1 10
duas álgebras booleanas. a a 1 a 1 ab
b b 1 1 b ba
Mostre que a função
f:{0,1,a,b} → P({1,2}) dada por: . 0 1 a b
f(0) = ∅ 0 0 0 0 0
f(1) = {1,2} 1 0 1 a b
f(a) = {1} a 0 a a 0
f(b) = {2}
b 0 b 0 b
é um isomorfismo de C em B .
Teorema de álgebras booleanas finitas
• a operação * é associativa;
• S tem um elemento neutro em relação à operação * ;
• todo elemento de S tem um elemento inverso em relação à
operação *
• O elemento neutro é o 1.