Complementos de Álgebra Booleana

PCS 2215
Sistemas Digitais I
Mdulo 05b Complementos de lgebra

Booleana
Marco Tlio Carvalho de Andrade

Professor Responsvel
Verso: 2.0 (Setembro de 2.013)
Andrade, Corra, Gomi e Margi 2.013 < Complementos de lgebra Booleana >
PCS 2215
Sistemas Digitais I
Contedo
lgebra de Chaveamento
1. Circuitos Combinatrios.
2. Propriedades dos Circuitos Combinatrios.
3. lgebras Booleanas.
4. lgebras Booleanas: Outras Definies.
4.1 Reticulados (Lattices).
4.2 Sublgebras.
5. lgebra de Chaveamento.
PCS 2215
Sistemas Digitais I
1
1
1. Circuitos Combinatrios
Circuito Combinatrio
Qualquer circuito, desde que sua sada seja unicamente definida
para cada combinao possvel de valores de suas entradas.
1-) Uma mesma combinao de valores de entrada no pode dar margem a
dois possveis valores de sada.
2-) O valor da sada depende apenas e to somente dos valores das entradas
em um determinado instante e no tem qualquer vnculo com valores
anteriores (realimentaes) ou estados internos do circuito.
Nota 1.1: Circuitos combinatrios individuais (ou elementares)

podem ser interconectados, ou combinados, de maneira a
propiciar a obteno de circuitos mais complexos.
PCS 2215
Sistemas Digitais I
Definio 1.1
Uma porta E (And em ingls) recebe duas entradas, x1 e x2, que
so bits, e produz uma sada representada por x1 x2 (que
tambm um bit), de tal modo que:
x1 x2 = 1, se x1 = x2 = 1
x1 x2 = 0, em qualquer outro caso
O smbolo usual (e tabela da verdade) para representar a porta E :
AND
Entrada Sada
0
0
1
1
PCS 2215
0
1
0
1
0
0
0
1
Sistemas Digitais I
2
2
Definio 1.2
Uma porta OU (Or em ingls) recebe duas entradas, x1 e x2, que
so bits, e produz uma sada representada por x1 x2 (que
x1 x2 = 0, se x1 = x2 = 0
x1 x2 = 1, em qualquer outro caso
O smbolo usual (e tabela da verdade) que representa a porta OU :
OR
Entrada Sada
0
0
1
1
0
1
0
1
PCS 2215
0
1
1
1
Sistemas Digitais I
Definio 1.3
Uma porta NO (Not em ingls, mais comumente denominada
como porta inversora em portugus) recebe uma entrada x, onde
x um bit, e produz uma sada representada por ~x (que
~x = 0, se x = 1
~x = 1, se x = 0
O smbolo usual (e tabela da verdade) para representar a porta
inversora :
Inversora
Entrada Sada
0
1
PCS 2215
1
0
Sistemas Digitais I
3
3
Exerccio 1.1 - O circuito abaixo um circuito combinatrio?
a
b
g
ENTRADAS
SINAIS INTERMEDIRIOS
SADA FINAL
PCS 2215
Sistemas Digitais I
Exerccio 1.2 - Os circuitos abaixo so circuitos combinatrios?
x1
y
x2
x1
x2
y
PCS 2215
Sistemas Digitais I
4
4
Exerccio 1.3 - O circuito abaixo um circuito combinatrio?
x1
x2
PCS 2215
Sistemas Digitais I
Exemplo 1.1 - Os circuitos C1 e C2 dos exerccios anteriores
podem ser combinados por meio de um circuito C3 (uma porta
OU, por exemplo) para gerar o circuito C:
x1
C1
x2
C3
x3
y
C2
x4
PCS 2215
Sistemas Digitais I
10
5
5
Exemplo 1.2 - Um circuito combinatrio pode ser representado por
uma expresso usando-se os smbolos , e ~.
x1
x2
~x1
~x1 x2
x2
(~x1 x2)x2
~((~x1 x2)x2)
y
x2
y=~((~x1 x2)x2)
Tais expresses so ditas

Expresses Booleanas.
PCS 2215
Sistemas Digitais I
11
Definio 1.4 - Expresses Booleanas geradas sobre os
smbolos x1, x2, ..., xn so definidas recursivamente:
1-) 0, 1, x1, x2, ..., xn so expresses Booleanas.
2-) Se X1 e X2 so expresses Booleanas ento:
(a) (X1)
(b) ~X1
(c) X1 X2
(d) X1 X2
tambm so expresses Booleanas.
3-) Se X uma expresso Booleana gerada sobre os smbolos
x1, x2, ..., xn ento podemos escrever
X = X(x1, x2, ..., xn)
onde cada smbolo xi (ou ~xi) chamado de um Literal.
PCS 2215
Sistemas Digitais I
12
6
6
Exerccio 1.4
a) Usar a definio 1.4 para mostrar que o lado direito da expresso
y=~((~x1 x2)x2) uma expresso Booleana.
b) Encontre o circuito combinatrio correspondente s expresses
Booleanas:
b.1) y=~((x1 x2)x1).
b.2) y=(~x1 x2)(x1 ~x2).
b.3) y=~((~x1 x2)(x1 ~x2)).
c) Encontre o valor de verdade das expresses Booleanas do item
b) considerando-se que:
c.1) x1 = 1 e x2 = 0.
c.2) x1 = 1 e x2 = 1.
c.3) x1 = 0 e x2 = 0.
PCS 2215
Sistemas Digitais I
13
Exemplo 1.3 - Circuito de Chaveamento - uma rede
eltrica, constituda de chaves abertas ou fechadas.
1-) Se a chave X est aberta (fechada) ento X = 0 (X = 1).
2-) Chaves simbolizadas pela mesma letra esto todas abertas ou
todas fechadas.
3-) Chave X aberta implica em chave ~X fechada.
4-) Se a corrente flui do terminal esquerdo para o direito diz-se que a
sada do circuito 1, em caso contrrio 0.
5-) Uma tabela de chaveamento proporciona a sada do circuito para
todos os valores das chaves.
A
Alguns exemplos de
possveis valores
~A
de entrada
A B
1 1
1 0
1 1
PCS 2215
C
1
1
0
Sada
1
0
1
Sistemas Digitais I
14
7
7
2. Propriedades dos Circuitos Combinatrios

Propriedades dos Circuitos Combinatrios
Anteriormente definimos dois operadores binrios, e ,
e um operador unrio ~ sobre o conjunto Z2 = {0,1}.
Vimos que estes operadores podiam ser implementados em circuitos, como sendo as portas lgicas bsicas de circuitos combinatrios.
Agora sero mostradas algumas propriedades de um
sistema constitudo por Z2 e os operadores , e ~:
Associativa
Comutativa
Distributiva
Identidade
Complemento
PCS 2215
Sistemas Digitais I
15

Propriedades dos Circuitos Combinatrios
Teorema 2.1 - Se , e ~ so operadores como os definidos

em 1.1, 1.2 e 1.3, ento exibem as seguintes propriedades:
Lei Associativa:
(a b) c = a (b c)
(a b) c = a (b c)
Lei Comutativa: a b = b a; a b = b a
Lei Distributiva: a (b c) = (a b) (a c)
a (b c) = (a b) (a c)
Lei da Identidade: a 0 = a; a 1 = a
Lei do Complemento: a ~a = 1; a ~a = 0
para todo a, b e c Z2 = {0,1}
PCS 2215
Sistemas Digitais I
16
8
8

Prova do Teorema 2.1 - As provas das vrias Leis (e/ou propriedades) consistem em verificaes diretas por meio de tabelas da
verdade.
Exemplo 2.1 - Prova da primeira lei distributiva. Deve-se mostrar
que a (b c) = (a b) (a c)
a
1
1
1
1
0
0
0
0
b
1
1
0
0
1
1
0
0
c
1
0
1
0
1
0
1
0
a (b c)
1
1
1
0
0
0
0
0
(a b) (a c)
1
1
1
0
0
0
0
0
PCS 2215
Sistemas Digitais I
17

Exemplo 2.2 - Usando o teorema 2.1 mostre que os circuitos
abaixo so equivalentes (tem sadas iguais para entradas iguais):
x1
x2
x1 (x2 x3)
x3
Pelo Teorema 2.1: a
x1
x2
(b c) = (a b) (a c)
(x1 x2) (x1 x3)
x3
PCS 2215
Sistemas Digitais I
18
9
9

Definio 2.1 - Sejam X1 = X1(x1, x2, ... , xn) e X2 = X2(x1, x2, ... ,
xn) expresses Booleanas. Diz-se que X1 igual a X2 e denota-se
por X1 = X2 se
X1(a1, a2, ... , an) = X2(a1, a2, ... , an) para todo ai Z2 = {0,1}
Nota 2.1 - Se definirmos uma relao R sobre um conjunto de
expresses Booleanas baseada na propriedade X1 = X2 , ou seja,
X1RX2 se X1 = X2
ento R uma relao de equivalncia.
Nota 2.2 - Cada Classe de Equivalncia que resulta desta relao
consiste em um conjunto de expresses Booleanas cujos valores
so iguais para os mesmos valores dos literais(ou entradas), isto
, expresses Booleanas equivalentes entre si.
PCS 2215
Sistemas Digitais I
19

Definio 2.2 - Diz-se que dois circuitos combinatrios,
cada um dos quais tendo as entradas x1, x2, ..., xn e uma
sada nica, so equivalentes, se para os mesmos valores de entrada suas sadas produzem o mesmo valor.
Nota 2.3 - Se definirmos uma relao R sobre um conjunto de circuitos combinatrios por meio da regra
C1RC2 se C1 e C2 so equivalentes (no sentido da
definio 2.2) R uma relao de equivalncia:
Nota 2.4 Cada classe de equivalncia consiste de um conjunto de circuitos combinatrios mutuamente equivalentes.
PCS 2215
Sistemas Digitais I
20
10
10

Nota 2.5 - Circuitos equivalentes podem no ter o mesmo nmero
de portas (para efeitos prticos desejvel o mnimo possvel).
Nota 2.6 - Segue que circuitos combinatrios so equivalentes se
as expresses Booleanas que os representam so iguais (ou
podem ser transformadas para ficarem iguais).
a
b
a
b
~(a b)
~a ~b
= ~a ~b
= ~(a b)
a
b
PCS 2215
Sistemas Digitais I
21

Teorema 2.2 - Sejam C1 e C2 circuitos combinatrios representados, respectivamente, pelas expresses Booleanas
X1 = X1(x1, x2, ... , xn) e X2 = X2(x1, x2, ... , xn). Ento C1 e C2
so equivalentes se e somente se X1 = X2.
O valor X1(a1, a2, ... , an) [ou X2(a1, a2, ... , an)] para ai Z2
a sada para o circuito C1 [ou C2] para entradas a1, a2,..., an.
De acordo com a definio 2.2:
Os circuitos C1 e C2 so equivalentes se e somente se eles
tem as mesmas sadas X1(a1, a2, ... , an) e X2(a1, a2, ... , an)
para todas as possveis entradas a1, a2, ... , an.
Assim C1 e C2 so equivalentes se e somente se:
X1(a1, a2, ... , an) = X2(a1, a2, ... , an) para todo ai Z2
PCS 2215
Sistemas Digitais I
22
11
11
3. lgebras Booleanas
Definio 3.1 - Uma lgebra Booleana B consiste em um
conjunto S contendo pelo menos dois elementos distintos (denotados por 0 e 1), dois operadores binrios, +
e ., e um operador unrio ~, constituindo uma sxtupla B = <S, + , . , ~ , 0 , 1> sobre S que satisfaz:
a) Lei Associativa (para todo x, y, z S)
(x + y) + z = x + (y + z)
(x . y) . z = x . (y . z)
b) Lei Comutativa (para todo x, y, z S)

x+y=y+x
x.y=y.x
c) Lei Distributiva (para todo x, y, z S)

x.(y+z) = (x.y)+(x.z)
x+(y.z) = (x+y).(x+z)
PCS 2215
Sistemas Digitais I
23
d) Lei da Identidade ( x S): x + 0=x e x . 1=x
e) Complemento ( x S): x+~x=1
e x.~x=0
Exemplo 3.1 - A sxtupla (Z2, , , ~, 0, 1) pelo
Teorema 2.1 uma lgebra Booleana, onde:
Z2 = {0,1}, sendo que so meros smbolos que no
guardam relao com os nmeros 0 e 1.
As triplas de operadores (+,.,~) e (,,~) so equivalentes.
a . b denota-se usualmente por ab. O operador
. tem precedncia sobre +.
PCS 2215
Sistemas Digitais I
24
12
12
Exemplo 3.2 - Seja U o conjunto universo e seja S =
P(U) o conjunto Potncia de U.
Se definimos as seguintes operaes entre subconjuntos:
X + Y = X Y, X . Y = X Y, ~X = X
pertencentes a S ento a sxtupla (S, , , , , U)
uma lgebra Booleana.
Alguns autores fazem a distino entre:

Uma lgebra Booleana Funcional
(Z2, , , ~, 0, 1)
Uma lgebra Booleana Conjuntista
(S, , , , , U)
PCS 2215
Sistemas Digitais I
25
Funcional (S, , , ~, 0, 1)
S = parcialmente ordenado
S = {1,2,3,5,6,10,15,30}
x divide y xRy
Conjuntista (P(U), , ,
U = {1,2,3}
P(U)={,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
(parcialmente ordenado)
A P(U), B P(U) tal que A B
30
U= {1,2,3}
15
{1,2}
10
3
2
, , U)
{1,3}
{2}
{1}
1
{2,3}
{3}
PCS 2215
Sistemas Digitais I
26
13
13
Ainda Exemplo 3.2 - Sejam X, Y e Z subconjuntos de
S. As propriedades (a) a (e) da definio 3.1 passam
a ser as seguintes propriedades de conjuntos:
a) Lei Associativa [para todo X, Y, Z S, onde S = P(U)]
(X Y) Z = X (Y Z)
(X Y) Z = X (Y Z)
b) Lei Comutativa (para todo X, Y, Z S)
XY=YX e XY=YX
c) Lei Distributiva (para todo X, Y, Z S)
X (Y Z) = (X Y) (X Z)
X (Y Z) = (X Y) (X Z)
PCS 2215
Sistemas Digitais I
27
d) Lei da Identidade (para todo X S)
X=X e XU=X
e) Lei do Complemento (para todo X S)
X X=Ue X X=
Teorema 3.1 - Em uma lgebra Booleana, o

elemento ~x da definio 3.1 nico.
Especificamente se x + y = 1 e xy = 0, ento y = ~x.
Definio 3.2 - Em uma lgebra Booleana o

elemento ~x denominado complemento de x.
PCS 2215
Sistemas Digitais I
28
14
14
Estamos agora em condies de derivar outras propriedades
importantes das lgebras Booleanas.
Teorema 3.2 - Seja B = (S, +, ., ~, 0, 1) uma

lgebra Booleana. Ento valem as seguintes
propriedades:
a) Lei Idempotente (para todo x S)
x+x=x
x.x=x
b) Lei das Fronteiras Superiores e Inferiores (para todo x S)

x+1=1
x.0=0
c) Lei da Absoro (para todo x, y S)

x+x.y=x
x . (x + y) = x
PCS 2215
Sistemas Digitais I
29
d) Lei da Involuo (para todo x S)
~(~x) = x
e) Lei do 0 e do 1
~0 = 1
~1 = 0
f) Lei de De Morgan (para todo x, y S)

~(x + y) = ~x . ~y
~(x . y) = ~x + ~y
Exemplo 3.3 - Conforme mostrado no exemplo 3.2, se

U um conjunto, P(U) associado a alguns operadores uma lgebra Booleana, para a qual:
(X Y) = X Y e (X Y) = X Y
O teorema 3.2 mostra que estas equaes so consequncias de
outras Leis j demonstradas.
PCS 2215
Sistemas Digitais I
30
15
15
Definio 3.3 - provvel que j se tenha notado que
as equaes envolvendo elementos da lgebra
Booleana aparecem aos pares. Estes pares so ditos
duais. Exemplo, Lei da identidade:
x+0=x
x.1=x
O dual de expresses da lgebra Booleana obtido

substituindo 0 por 1 , 1 por 0, + por . e . por +.
Exemplo: o dual de ~(x + y) = ~x . ~y ~(x . y) = ~x + ~y
Teorema 3.3 - O dual de um teorema sobre uma

lgebra Booleana tambm um teorema.
PCS 2215
Sistemas Digitais I
31
4. lgebras Booleanas: Outras Definies

Definio 4.1 Consideremos as proposies vistas em
Lgica Proposicional. Seja uma expresso de duas
variveis proposicionais. Ento sua tabela da verdade
define uma funo f tal que: f:{V,F}2 {V,F}
Exemplo 4.1:
a b f
V
V
F
F
V
F
V
F
V
V
F
F
Note que: 1-) Neste exemplo f(a,b) = a.

2-) Podemos generalizar este conceito para n variveis
proposicionais: f:{V,F}n {V,F}
PCS 2215
Sistemas Digitais I
32
16
16

3-) A funo associada a uma tautologia uma aplicao:
f:{V,F}n {V}
4-) A funo associada a uma contradio (absurdo)
uma aplicao:
f:{V,F}n {F}
5-) Sabe-se que possvel construir a Tabela da Verdade
para quaisquer sentenas proposicionais p ou q,
compostas de n variveis proposicionais. A funo
associada a estas sentenas est definida por sua Tabela
da Verdade. Se pe q tm a mesma Tabela da
Verdade elas definem a mesma funo. Ento podemos
escrever: p = q em vez de p q
PCS 2215
Sistemas Digitais I
33

6-) A propriedade da igualdade entre sentenas proposicionais estabelece uma relao de equivalncia entre
as sentenas que possuem a mesma Tabela da Verdade
(ver Teorema 2.2.):
imediato verificar que a igualdadeobedece s propriedades reflexiva, simtrica e transitiva, portanto uma
relao de equivalncia.
Esta relao de equivalncia particiona o conjunto (infinito) de sentenas de n variveis em um conjunto de
Classes de Equivalncia (CE={Ci}).
PCS 2215
Sistemas Digitais I
34
17
17

7-) Se n = 2 h 16 classes de equivalncia:
C. E. = {C0, C1, ... , C15}
Tautologia
Absurdo (contradio)
. ~ p
+ ~+ ~q
~p
~.
C0 C1 C2 C3 C4 C5 C6 C7 C8 C9 C10 C11 C12 C13 C14 C15
n
Obs: m 22 1
PCS 2215
Sistemas Digitais I
35

8-) At agora estamos utilizando apenas dois operadores
(conectivos) binrios e , e um operador unrio
~: Podemos definir novos operadores? Quantos?
Para duas variveis o nmero de operadores igual a 16,
que o nmero de Classes de Equivalncia.
Por exemplo: a disjuno exclusiva (ou exclusivo ) uma nova operao (que at o momento no
havia aparecido).
Pode-se resumir estes conceitos na definio de um outro
tipo de estrutura Booleana (definio 4.2 - a seguir).
PCS 2215
Sistemas Digitais I
36
18
18

Definio 4.2- A sxtupla ({C.E.}, , , ~, Ft, Vt)
n
uma lgebra Booleana, onde: m 22 1
{C. E.} = {C0, C1, ... , Cm} o conjunto das classes

de equivalncia possveis para n variveis lgicas.
Ft = C0 = Classe de Equivalncia correspondente s
Contradies.
Vt = Cm = Classe de Equivalncia correspondente s
Tautologias.
A estrutura da lgebra de Boole da lgica de proposies permite que suas transformaes sejam aplicadas aos circuitos lgicos.
PCS 2215
Sistemas Digitais I
37

(Duas Variveis Proposicionais - 16 Classes de Equivalncia)
[Tautologias]
C15(VVVV)
C14(VVVF)
C7(FVVV)
C6(FVVF)
C13(VVFV)
C11(VFVV)
C12(VVFF)
C10(VFVF)
C5(FVFV)
[Contingncias]
C3(FFVV)
[Contingncias]
C4(FVFF)
C2(FFVF)
C9(VFFV)
C1(FFFV)
C8(VFFF)
C0(FFFF)
[Contradies]
PCS 2215
Sistemas Digitais I
38
19
19

Definio 4.2.a - tomo ou Elemento Atmico Dada a lgebra de Boole B = (S, , , ~, 0t, 1t)
chama-se tomo a sk S (sk 0t) tal que para
si S ocorre: si sk = 0t ou si sk = sk
Ex: tomos da definio 4.2: {C1, C2, C4, C8}

Teorema 4.1 - Dada uma lgebra Booleana B = (S,
, , ~, 0t, 1t) cujos tomos so {si, sj, ..., sk} sm
S pode expressar-se de maneira nica como uma
soma de tomos:
sm S {si, sj, ..., sk} (0 i, j, ..., k n)

PCS 2215
Sistemas Digitais I
39
4. lgebras Booleanas: Isomorfismo

Definio 4.3 - Duas ocorrncias de uma estrutura
so isomorfas se existir uma bijeo, chamada
isomorfismo, que leva os elementos de uma
ocorrncia aos elementos da outra ocorrncia,
de modo que as propriedades relevantes so
preservadas:
Cada ocorrncia uma imagem da outra, com outra
denominao dos elementos mas com o mesmo
nmero de elementos.
Pode-se usar esta idia para classificar exemplos
de estruturas, associando-se as que so isomorfas.
PCS 2215
Sistemas Digitais I
40
20
20
4. lgebras Booleanas: Isomorfismo

Funcional (Z2, , , ~, 0, 1)
Z2 = {1,2,3,5,6,10,15,30}
Conjuntista (P(U), , , , , U)
P(U)={,{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
30
U= {1,2,3}
15
{1,2}
10
3
{2}
{2,3}
{1,3}
{3}
{1}
PCS 2215
Sistemas Digitais I
41
4.1. Reticulados (Lattices)

Sabe-se da teoria de Relaes que:
Sendo S um conjunto e R uma relao de ordem
parcial ao par (S, ) chama-se conjunto parcialmente
ordenado, onde o smbolo de ordenao parcial.
O grafo de um conjunto parcialmente ordenado,
denomina-se Diagrama de Hasse, sendo uma
representao simplificada para este.
sk
(S, )
si
sj
sn
PCS 2215
Sistemas Digitais I
42
21
21
4.1. Reticulados (Lattices)

Dado o par (S, ) - Definies:
sn =LM
4.4.1. Limite Mximo (LM) - Dado sn

S, sn = LM se si S si sn.
si
4.4.2. limite mnimo (lm) - Dado s1

S, s1 = lm se si S s1 si.
s1 = lm
PCS 2215
Sistemas Digitais I
43
4.1. Reticulados
Dado P = {pi,pj,pk} e P S - Definies:
4.4.3. Fronteira Superior (FS) - Um
dado sn S FS de P se e somente se
para pk P houver pksn. Onde sn
obrigatoriamente a P (pode pertencer).
4.4.4. Fronteira Superior mnima
(FSm) - Um dado sn S FSm de P
se e somente se sn FS de P e para
si = FS de P houver snsi. Onde sn
obrigatoriamente a P (pode pertencer).
PCS 2215
sn =FS
=FSm
pk
pj
pi
s1
=fiM
= fi
Sistemas Digitais I
44
22
22
4.1. Reticulados
Exemplo 4.2.a - Dado S ao lado:
1) Limite Mximo (LM) - No existe sn 5
S de modo que para si S sisn
(os elementos 5 e 6 no se comparam).
4
2) Para P1 = {5,6} S:
Fronteira Superior (FS) - No existe, dado
que no h sn S de modo que para pk
P ocorra pksn.
Fronteira Superior mnima (FSm) - No
existe dado que no existe nenhum
elemento de S que seja FS de P.
PCS 2215
3
1
Sistemas Digitais I
45
4.1. Reticulados
3) Para P1 = {1,2} S:
Fronteira Superior (FS) - Existem 4. So 5
para cada elemento {1} e {2}:
11; 13; 14; 15 e 16
22; 23; 24; 25 e 26
Comuns: 3, 4, 5 e 6.
Fronteira Superior mnima (FSm) = 3 = sn.
O nico elemento que satisfaz a condio
de FSm ( sn, snsi) o 3.
PCS 2215
5
4
3
1
Sistemas Digitais I
46
23
23
4.1. Reticulados
4) Para P1 = {2,6} S:
Fronteira Superior (FS) - So 5 para o elemento {2} e uma para o elemento {6}:
22; 23; 24; 25 e 26
66
Comum: apenas o elemento 6.
Fronteira Superior mnima (FSm) = 6 = sn.
J que a nica Fronteira Superior si
candidata a FSm, e vale snsi.
PCS 2215
5
4
3
1
Sistemas Digitais I
47
4.1. Reticulados
Dado P = {pi,pj,pk} e P S - Definies:
4.4.5. fronteira inferior (fi) - Um dado
s1 S fi de P se e somente se para
pi P houver s1pi. Onde s1 obrigatoriamente a P (pode pertencer).
4.4.6. fronteira inferior Mxima (fiM)
- Um dado s1 S fiM de P se e somente se s1 fi de P e para si = fi de
P houver s1si. Onde s1 obrigatoriamente a P (pode pertencer).
PCS 2215
sn =FS
=FSm
pk
pj
pi
s1
=fiM
= fi
Sistemas Digitais I
48
24
24
4.1. Reticulados
Exemplo 4.2.b - Dado S ao lado:
1) Limite Mnimo (lm) - No existe s1
S de modo que para si S s1si
(os elementos 1 e 2 no se comparam).
2) Para P1 = {1,2} S:
fronteira inferior (fi) - No existe, dado

que no h s1 S de modo que para pi
P ocorra s1pi.
fronteira inferior Mxima (fiM) - No
existe dado que no existe nenhum
elemento de S que seja fi de P.
PCS 2215
5
4
3
1
Sistemas Digitais I
49
4.1. Reticulados
3) Para P1 = {5,6} S:
fronteira inferior (fi) - So 5 para {5} e
{6} mas apenas 4 comuns:
15; 25; 35; 45 e 55
16; 26; 36; 46 e 66
Comuns: 1, 2, 3 e 4.
fronteira inferior Mxima (fiM) = 4 = s1. O
nico elemento que satisfaz a condio de
fiM ( si, s1si) o 4.
PCS 2215
5
4
3
1
Sistemas Digitais I
50
25
25
4.1. Reticulados
4) Para P1 = {2,6} S:
fronteira inferior (fi) - So 5 para o elemento {6} e uma para o elemento {2}:
66; 46; 36; 26 e 16
22
Comum: apenas o elemento 2.
fronteira inferior Mxima (fiM) = 2 = s1.
J que a nica fronteira inferior si
candidata a fiM, e vale sis1.
PCS 2215
5
4
3
1
Sistemas Digitais I
51
4.1. Reticulados
Decorrncia das Definies 4.4.1 e 4.4.2 - Dado
um conjunto parcialmente ordenado (S, ), o limite mnimo (lm) e o Limite Mximo (LM), se
existirem, so nicos.
Decorrncia das Definies 4.4.4 e 4.4.6 - Dado
o subconjunto P S, sendo S um conjunto parcialmente ordenado (S, ), a fronteira inferior
Mxima (fiM) e a Fronteira Superior mnima
(FSm) se existirem, so nicas.
PCS 2215
Sistemas Digitais I
52
26
26
4.1. Reticulados
Definio 4.1 - Reticulado - um conjunto parcialmente ordenado (S, ), de modo que, para
si S e sk S o subconjunto P = {si, sk}
possui uma fronteira inferior Mxima (fiM) e
uma Fronteira Superior mnima (FSm).
Definio 4.2 - Reticulado Distributivo - um
reticulado que obedece s propriedades:
si (sj sk) = (si sj) (si sk)
si (sj sk) = (si sj) (si sk)
PCS 2215
Sistemas Digitais I
53
4.1. Reticulados
Definio 4.3 - Reticulado Complementado -
um reticulado onde si S existe ~si tal que:
si ~ si = lm
Operao que calcula
a fiM do subconjunto
dos dois elementos.
e si ~ si = LM
Operao que calcula
a FSm do subconjunto
dos dois elementos.
Teorema 4.2 - Se um reticulado distributivo e

complementado ao mesmo tempo, ento ~si
nico.
PCS 2215
Sistemas Digitais I
54
27
27
4.1. Reticulados
Exemplo 4.3 - Um reticulado uma estrutura com uma
ordem parcial envolvida. Portanto pode-se representar
por um Diagrama de Hasse.
S = {1,2,5,7,10,14,35,70} e R = MDC (s1,s2) = s1
[R vai implicar em que mmc(s1,s2) = s2]
70
35
10
10
5
2
1
PCS 2215
Sistemas Digitais I
55
4.1. Reticulados
Definio 4.4 - Um reticulado que distributivo e
complementado define uma lgebra Booleana:
B = (S, , , ~, , )
onde: = LM (as vezes denotado por: {S},S,)
= lm (as vezes denotado por: , ,I,0
e so nicos e
De modo que para si P S e sk P S:
= fiM(si, sk)
= FSm(si, sk)
dado si ~ si nico
PCS 2215
Sistemas Digitais I
56
28
28
4.1. Reticulados
lgebra Booleana como da def. 4.4- Propriedades:
P1 - Limite Mximo e limite mnimo:
a) si lm = lm e si LM = si
b) si LM = LM e si lm = si
P2 - Complemento: si si = lm e si si = LM
P3 - Distributiva:
a) si (sl sk) = (si sl) (si sk)
b) si (sl sk) = (si sl) (si sk)
P4- Comutativa: si sk = sk si e si sk = sk si
PCS 2215
Sistemas Digitais I
57
4.1. Reticulados
Teorema 4.3 - Seja uma lgebra Booleana como
a da definio 4.4. Para esta vale:
Se si sk = lm E si sk = LM Ento sk = ~si
Prova: sk lm = sk (P1b) sk = sk lm
sk = sk si si(P2a)
sk = (sk si) sk si(P3b)
sk = (si sk) sk si(P4b)
sk = LM sk si(pelas hipteses)
sk = sk si LM (P4a)
sk = sk si(P1a) [1]
PCS 2215
Sistemas Digitais I
58
29
29
4.1. Reticulados
Prova (continuao):
~si lm = ~si (P1b) ~si = si lm
~si = ~si si sk(pelas hipteses)
~si = (~si si) si sk(P3b)
~si = LM si sk(P2b)
~si = si sk LM (P4a)
~si = si sk (P1a)
~si = sk si(P4b) [2]
Portanto de [1] e de [2] vem:
[1] = sk sisk = ~si = sk si [2] C.Q.D.
PCS 2215
Sistemas Digitais I
59
4.1. Reticulados
Teorema 4.4 - Seja uma lgebra Booleana como
a da definio 4.4. Para esta valem:
1-) Se si sk = si
Ento
s i sk = sk
2-) Se si sk = sk
Ento
s i sk = s i
3-) Se si sk = sk
Ento
~si sk = LM
4-) Se ~si sk = LM Ento
s i sk = sk
5-) Se ~si sk = LM Ento
si ~sk = lm
6-) Se si ~sk = lm
~si sk = LM
Ento
PCS 2215
Sistemas Digitais I
60
30
30
4.2. Sublgebras
Definio 4.5 - Uma operao fechada sobre
elementos de um conjunto S uma operao
que devolve apenas valores que pertencem a S.
Definio 4.6 - A lgebra Booleana B1 = (P, , ,
~, , ) uma sublgebra de B = (S, , , ~, ,
) se ocorrer:
P S e = LM P e = lm P
Para si P e sk P as operaes:
si sk e si sk e ~si so fechadas em P
PCS 2215
Sistemas Digitais I
61
4.2. Sublgebras
Exemplo 4.4 - Juntando ao exemplo 4.3 as
definies: (s1 s2) = MDC (s1,s2); (s1 s2) =
mmc(s1,s2); ~si = 70/si; = lm = 1; = LM = 70.
Tem-se que a lgebra Booleana B = (S, , , ~,
, ) pode ter as seguintes sublgebras:
Bi = ({1,70} , , , ~, 1, 70)
Bj = ({1,2,35,70} , , , ~, 1, 70)
Bk = ({1,5,14,70} , , , ~, 1, 70)
Bl = ({1,7,10,70} , , , ~, 1, 70)
PCS 2215
Sistemas Digitais I
62
31
31
4.2. Sublgebras
Teorema 4.5 - Toda sublgebra de uma lgebra
Booleana tambm uma lgebra Booleana.
Teorema 4.6 - A partir das propriedades LM e lm,
complemento, distributiva e comutativa (P1,P2,P3
e P4) pode-se demonstrar as seguintes:
P5 - Idempotncia - si si = si e si si = si
P6 - Associativa - si (sj sk) = (si sj) sk
P7 - Absoro - si (si sk) = si ; si (si sk) = si
P8 - Involuo - ~(~si) = si
P9 - De Morgan - ~(sjsk) = ~sj~sk ; ~(sjsk) = ~sj~sk
P10 - Modularidade - si[sj(sisk)] = si; (sisj) (sisk)
PCS 2215
Sistemas Digitais I
63
4.2. Sublgebras
Teorema 4.7 - Se as operaes , e ~ de uma
lgebra Booleana satisfazem as propriedades de
P1 a P10 estas operaes sero fechadas em P
S, para = LM P e = lm P se:
e ~ so fechadas em P
ou
e ~ so fechadas em P
Resultado til: Para provar que Bi uma sublgebra de B basta provar que duas das trs operaes so fechadas.
PCS 2215
Sistemas Digitais I
64
32
32
5. lgebra de Chaveamento
Definio 5.1 - Seja xi uma varivel de Chaveamento,
isto , uma varivel que representa os estados de
uma chave (aberta ou fechada) por meio dos
valores 0 e 1. Sejam n variveis de chaveamento x1,
n
x2, ..., xn, que definem m 1 22 funes de
chaveamento (F.C.) distintas. A sxtupla ({F.C.},
, , ~, 0t, 1t) uma lgebra Booleana, onde:
{F.C.} = {f0, f1, ... , fm} o conjunto das funes de
chaveamento possveis para n variveis lgicas.
0t = f0 = Funo correspondente a chaves abertas.
1t = fm = Funo correspondente a chaves fechadas.
PCS 2215
Sistemas Digitais I
65
A sxtupla ({F.C.}, , , ~, 0t, 1t) uma lgebra
Booleana, onde (continuao):
a operao lgica E (denotada por .).
a operao lgica OU (denotada por +).
~ a operao lgica NO.
Valem as propriedades P1 a P10 enunciadas

anteriormente.
Em vista disto pode-se encontrar o reticulado

distributivo e complementado que a representa,
onde fi + fj = FSm(fi, fj) e fi . fj = fiM(fi, fj).
PCS 2215
Sistemas Digitais I
66
33
33
[Tautologias]
f15(1111)
f14(1110)
f7(0111)
f6(0110)
f13(1101)
f11(1011)
f12(1100)
f10(1010)
f5(0101)
f3(0011)
[Contingncias]
[Contingncias]
f4(0100)
f2(0010)
f9(1001)
f1(0001)
f8(1000)
f0(0000)
[Contradies]
PCS 2215
Sistemas Digitais I
67
No diagrama de Hasse do reticulado da lgebra de
Chaveamento podem ser observadas algumas
propriedades interessantes:
1-) Dados fi e fj se os ndices i e j somam quinze (i+j =

15) ento fi = ~fj. Exemplo: f4 = 0100 e f11 = 1011.
2-) Qualquer funo de chaveamento pode ser expressa

em termos da operao + (FSm) sobre as funes:
f1 = 0001, f2 = 0010, f4 = 0100 e f8 = 1000
3-) Qualquer funo de chaveamento pode ser expressa

em termos da operao . (fiM) sobre as funes:
f7 = 0111, f11 = 1011, f13 = 1101 e f14 = 1110
PCS 2215
Sistemas Digitais I
68
34
34
5. lgebra de Chaveamento: Funes para duas variveis

Absurdo (contradio)
. ~ x2
Tautologia
~
~
~
V ~ V ~
+ ~+ ~x1 ~x2 ~.
x1
x2 x1 f0
f1
f2
f3
f4
f5
f6
f7
f8
f9
f10 f11 f12 f13 f14 f15
Se traduzimos esta tabela da verdade das funes de

chaveamento para a linguagem das expresses das funes
de chaveamento, em termos de suas variveis, obtemos no
diagrama de Hasse uma representao mais fcil de ler.
PCS 2215
Sistemas Digitais I
69
Sistemas Digitais I
70
1
~x1+~x2
x1+ x2
x1 x2
x1+ ~x2
~x1+ x2
~x2
~x1
x1
x1.~x2
x1 x2
x2
~x1.x2
~x1 ~ x2
x1x2
0
PCS 2215
35
35
Sob esta nova representao do diagrama de Hasse:
[1] f1 = x1.x2, f2 = ~x1.x2, f4 = x1.~x2 e f8 = ~x1.~x2
Da definio de tomo: fk {F.C.} (fk f0) tal que

para fi {F.C.} ocorre fi . fk = f0 ou fi . fk = fk.
Os tomos do diagrama anterior {f1, f2, f4, f8} no
podem ser obtidos pela operao de FSm sobre
nenhuma outra funo e denominam-se mintermos.
[2] f7= x1+x2, f11= ~x1+x2, f13= x1+~x2 e f14= ~x1+~x2
Por outro lado as funes {f7, f11, f13, f14} no podem

ser obtidos pela operao de fiM sobre nenhuma
outra funo e denominam-se maxtermos.
PCS 2215
Sistemas Digitais I
71
f14(1110)
f14 = M3 = ~x1+~x2
1
f7(0111)
x1 + x2 = f7 = M0
f11(1011)
~x1 + x2 = f11 = M1
f13(1101)
f13 = M2 = x1+~x2
f2(0010)
~x1 . x2 = f2 = m2
f4(0100)
f4 = m1 = x1.~x2
f8 = m0 = ~x1 ~ x2
f8(1000)
x1.x2 = f1 = m3
f1(0001)
PCS 2215
Sistemas Digitais I
72
36
36
Bibliografia
Fernndez, Gregrio; Saez Vacas, Fernando; Fundamentos de Informtica,
Alianza Editorial, Coleccin Alianza Informtica, 1.987.
Gersting, Judith L.; Fundamentos Matemticos Para a Cincia da Computao,
LTC - Livros Tcnicos e Cientficos Editora S. A., 1.995.
Harrison, Michael A.; Introduction To Switching and Automata Theory,
McGraw-Hill Book Company, 1.965.
Hill, Frederic and Peterson, Gerald; Introduction To Switching Theory and
Logical Design, John Wiley Sons, 1.974.
Johnsonbaugh, Richard; Discrete Mathematics, 3 Edio, Macmillan
Publishing Company, 1.993.
Mendelson, Elliott; lgebra Booleana e Circuitos de Chaveamento, Coleo
Schaum, Editora McGraw-Hill, 1.977.
Ranzini, Edith; Notas de Aula de PEL 213, Apostila, EPUSP, 1.985.
Tremblay, J. P. and Monohar, R.; Discrete Mathematical Structures With
Applications to Computer Science, McGraw-Hill, 1.975.
PCS 2215
Sistemas Digitais I
73
37
37

Complementos de Álgebra Booleana

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Complementos de Álgebra Booleana

Загружено:

Авторское право:

Доступные форматы

PCS 2215

Mdulo 05b Complementos de lgebra

Marco Tlio Carvalho de Andrade

Nota 1.1: Circuitos combinatrios individuais (ou elementares)

Tais expresses so ditas

2. Propriedades dos Circuitos Combinatrios

2. Propriedades dos Circuitos Combinatrios

Teorema 2.1 - Se , e ~ so operadores como os definidos

2. Propriedades dos Circuitos Combinatrios

2. Propriedades dos Circuitos Combinatrios

(x1 x2) (x1 x3)

2. Propriedades dos Circuitos Combinatrios

2. Propriedades dos Circuitos Combinatrios

2. Propriedades dos Circuitos Combinatrios

2. Propriedades dos Circuitos Combinatrios

b) Lei Comutativa (para todo x, y, z S)

c) Lei Distributiva (para todo x, y, z S)

Alguns autores fazem a distino entre:

Teorema 3.1 - Em uma lgebra Booleana, o

Definio 3.2 - Em uma lgebra Booleana o

Teorema 3.2 - Seja B = (S, +, ., ~, 0, 1) uma

b) Lei das Fronteiras Superiores e Inferiores (para todo x S)

c) Lei da Absoro (para todo x, y S)

f) Lei de De Morgan (para todo x, y S)

Exemplo 3.3 - Conforme mostrado no exemplo 3.2, se

O dual de expresses da lgebra Booleana obtido

Teorema 3.3 - O dual de um teorema sobre uma

4. lgebras Booleanas: Outras Definies

Note que: 1-) Neste exemplo f(a,b) = a.

4. lgebras Booleanas: Outras Definies

4. lgebras Booleanas: Outras Definies

4. lgebras Booleanas: Outras Definies

C0 C1 C2 C3 C4 C5 C6 C7 C8 C9 C10 C11 C12 C13 C14 C15

4. lgebras Booleanas: Outras Definies

4. lgebras Booleanas: Outras Definies

{C. E.} = {C0, C1, ... , Cm} o conjunto das classes

4. lgebras Booleanas: Outras Definies

4. lgebras Booleanas: Outras Definies

Ex: tomos da definio 4.2: {C1, C2, C4, C8}

sm S {si, sj, ..., sk} (0 i, j, ..., k n)

4. lgebras Booleanas: Isomorfismo

4. lgebras Booleanas: Isomorfismo

4.1. Reticulados (Lattices)

4.1. Reticulados (Lattices)

4.4.1. Limite Mximo (LM) - Dado sn

4.4.2. limite mnimo (lm) - Dado s1

fronteira inferior (fi) - No existe, dado

Teorema 4.2 - Se um reticulado distributivo e

4-) Se ~si sk = LM Ento

5-) Se ~si sk = LM Ento

Valem as propriedades P1 a P10 enunciadas

Em vista disto pode-se encontrar o reticulado

1-) Dados fi e fj se os ndices i e j somam quinze (i+j =

2-) Qualquer funo de chaveamento pode ser expressa

3-) Qualquer funo de chaveamento pode ser expressa

5. lgebra de Chaveamento: Funes para duas variveis

f10 f11 f12 f13 f14 f15

Se traduzimos esta tabela da verdade das funes de

[1] f1 = x1.x2, f2 = ~x1.x2, f4 = x1.~x2 e f8 = ~x1.~x2

Da definio de tomo: fk {F.C.} (fk f0) tal que

Por outro lado as funes {f7, f11, f13, f14} no podem

Вам также может понравиться