Unidade IV

LGICA
Prof. Adriane Paulieli Colossetti
Introduo lgebra de boole
Na lgebra booleana, esto todos os
fundamentos da eletrnica digital.
Relao entre a lgica matemtica e
eletrnica digital
Existe uma estreita ligao entre as
tabelas de lgica matemtica e as portas
lgicas existentes na eletrnica digital.
Tabela de relao entre as duas
nomenclaturas
Lgica Matemtica Eletrnica Digital
^ .
v +
~ -
Ex.: (p v q) = (a + b)
( ^ ) ( b)
V, F 1,0
p, q a, b
(p ^ q) = (a . b)
Representao grfica
AND
OR
NAND
NOR
Exemplo de utilizao (AND)
Transforme p ^ q em lgica digital e
desenhe a porta lgica correspondente.
p ^ q = a . b
AND
Exemplo de utilizao (OR)
Transforme p v q em lgica digital e
desenhe a porta lgica correspondente.
p v q = a + b
OR
Exemplo de utilizao (NOR)
Transforme ~(p v q) em lgica digital e
desenhe a porta lgica correspondente.
~(p v q) = (a + b)
NOR
p q p v q ~(p v q)
V V V F
V F V F
F V V F
a b a + b (a + b)
1 1 1 0
1 0 1 0
0 1 1 0
F F F V 0 0 0 1
Exemplo de utilizao (NOR)
Transforme ~(pv~q) em lgica digital e
desenhe a porta lgica correspondente.
~(p v ~q) = (a + b)
NOR
p q ~q p v ~q ~(p v ~q)
V V F V F
V F V V F
F V F F V
F F V V F
a b b a + b (a + b)
1 1 0 1 0
1 0 1 1 0
0 1 0 0 1
0 0 1 1 0
Exemplo de utilizao (NAND)
Transforme ~(p ^ q) em lgica digital e
desenhe a porta lgica correspondente.
~(p ^ q) = (a . b)
NAND
p q p ^ q ~(p ^ q)
V V V F
V F F V
F V F V
a b a . b (a . b)
1 1 1 0
1 0 0 1
0 1 0 1
F F F V 0 0 0 1
Interatividade
Q l lt ti t t f Qual a alternativa correta para transformao
das proposies (p ^ q) ^ (p v q) para
linguagem lgica digital?
a) (a . b) . (a + b)
b) (a + b) + (a + b)
c) (a . b) . (a . b)
d) (a + b) . (a . b)
e) NDA
O sistema binrio de numerao
Existem apenas dois algarismos: 0 e 1.
Converso;
O sistema binrio de numerao
O sistema binrio de numerao
10 16 2 8 10 16 2 8
0 0 0000 0
1 1 0001 1
2 2 0010 2
3 3 0011 3
4 4 0100 4
5 5 0101 5
6 6 0110 6
7 7 0111 7
8 8 1000 10
9 9 1001 11
10 A 1010 12 10 A 1010 12
11 B 1011 13
12 C 1100 14
13 D 1101 15
14 E 1110 16
15 F 1111 17
Converso de decimal em binrio
Exemplo de converso de decimal
para binrio
10 para binrio?
2
3
, 2
2
, 2
1
, 2
0
8 4 2 1
1 0 1 0
Exemplo de converso de decimal
para binrio
15 para binrio?
2
3
, 2
2
, 2
1
, 2
0
8 4 2 1
1 1 1 1
Exemplo de converso de decimal
para binrio
155 para binrio?
2
7
, 2
6
, 2
5
, 2
4
, 2
3
, 2
2
, 2
1
, 2
0
128 64 32 16 8 4 2 1
1 0 0 1 1 0 1 1
128 16 8 2 1 155 128 + 16 + 8 + 2 + 1 = 155
Exemplo de converso de decimal
para binrio
255 para binrio?
2
7
, 2
6
, 2
5
, 2
4
, 2
3
, 2
2
, 2
1
, 2
0
128 64 32 16 8 4 2 1
1 1 1 1 1 1 1 1
128 64 32 16 8 4 2 1 255 128 + 64 + 32 + 16 + 8 + 4 + 2 + 1 = 255
Exemplo de converso de decimal
para binrio
355 para binrio?
2
8
, 2
7
, 2
6
, 2
5
, 2
4
, 2
3
, 2
2
, 2
1
, 2
0
256 128 64 32 16 8 4 2 1
1 0 1 1 0 0 0 1 1
256 64 32 2 1 355 256 + 64 + 32 + 2 + 1 = 355
Exemplo de converso de decimal
para binrio
1356 bi i ? 1356 para binrio?
2
10
2
9
2
8
2
7
2
6
2
5
2
4
2
3
2
2
2
1
2
0
1024 512 256 128 64 32 16 8 4 2 1
1 0 1 0 1 0 0 1 1 0 0
1024 + 256 + 64 + 8 + 4 = 1356
Interatividade
Dado o nmero decimal 167 correto
afirmar que ele convertido para nmero
binrio :
a) 10111111;
b) 10101111; b) 10101111;
c) 10100101;
d) 10100111;
e) 10100110.
Propriedade cumulativa na adio
Segue o exemplo da propriedade
cumulativa na adio:
A + B = B + A.
Propriedade cumulativa na
multiplicao
Segue o exemplo da propriedade
cumulativa na multiplicao:
A x B = B x A.
Propriedade associativa na adio
S l d i d d Segue o exemplo da propriedade
associativa na adio:
A + (B + C) = (A + B) + C = A + B + C.
Propriedade associativa na
multiplicao
Segue o exemplo da propriedade
associativa na multiplicao:
A x (B x C) = (A x B) x C = A x B x C.
Portas lgicas
Como ficam as portas lgicas da
seguinte proposio?
((a . b) + (a + b))
AND
OR
OR
Portas lgicas
Como ficam as portas lgicas da
seguinte proposio?
((a + b) . (a . b))
OR
AND
NAND
Portas lgicas
Como ficam as portas lgicas da
seguinte proposio?
((a + b) . (a . b))
NOR
AND
NAND
Portas lgicas
Como ficam as portas lgicas da
seguinte proposio?
((a + b) . (a . b))
NOR NOR
NAND
NAND
Interatividade
Qual a linguagem digital que corresponde
ao desenho abaixo?
OR
NAND
a) (a + b) + (a . b);
b) (a . b) . (a + b);
c) (a + b) + (a + b);
AND
) ( ) ( );
d) (a + b) . (a . b);
e) NDA.
lgebra booleana
So estruturas algbricas que detm a
essncia das operaes lgicas (E, OU e
NO), e tambm as operaes da teoria de
conjuntos.
lgebra booleana
Por lgebra booleana, normalmente,
entende-se um conjunto B junto com duas
operaes binrias ^ ou v em B e dois
elementos 0 e 1 de B, tais que os axiomas
seguintes sejam:
1. Para todo x e y em B, x v y = y v x;
2. Para todo x e y em B, x ^ y = y ^ x;
3. Para todo x, y, z em B, x ^ (y v z) =
(x ^ y) v (x ^ z);
lgebra booleana
4. Para todo x, y, z em B, x (y z) = (x
y) (x z).
5. Para todo x em B, x v 0 = x;
6. Para todo x em B, x ^ 1 = x;
7 Para todo x em B x v x = 0; 7. Para todo x em B, x v x = 0;
8. Para todo x em B, x ^ x = 1;
9. 0 1.
Formas normais
Uma proposio est em forma normal (FN)
se, e somente se contm os conectivos ,
e . Exemplo:
p ^ q
(p v q) ( p v q)
(p ^ q) v (q v r)
Formas normais
Toda a proposio pode ser levada para a
forma normal (FN) equivalente pela
eliminao dos conectivos e , se
existirem.
Isso significa a substituio de
p q por p q;
p q ~p p q ~p v q
V V F V V
V F F F F V F F F F
F V V V V
F F V V V
Formas normais
p q por (p q) (p q).
A B
p q ~p ~q p q ~p v q p v ~q A ^ B
V V F F V V V V
V F F V F F V F
F V V F F V F F
F F V V V V V V
Forma normal conjuntiva
Uma proposio est na forma normal
conjuntiva (FNC) se, e somente se so
verificadas as seguintes condies:
contm apenas os conectivos , e ;
no aparece repetido () e no tem no aparece repetido ( ) e no tem
alcance sobre e .
Desta forma, somente incide sobre letras
proposicionais;
Forma normal conjuntiva
no tem alcance sobre . Assim, no
h componentes do tipo p (q r).
Simbolicamente, fica:
p q, p q r, (p q) (q r)
Forma normal disjuntiva
Uma proposio est na forma normal
disjuntiva (FND) se, e somente se so
verificadas as seguintes condies:
contm apenas os conectivos , e ;
no aparece repetido () e no tem no aparece repetido ( ) e no tem
alcance sobre e .
Desta forma, somente incide sobre letras
proposicionais;
Forma normal disjuntiva
no tem alcance sobre . Assim, no
h componentes do tipo p (q r)).
Simbolicamente, fica:
p q, p (q r), (p q) (p q r)
Interatividade
Verifique se podemos afirmar que uma
forma normal a seguinte proposio:
(p ^ q) v (p q)
a) V, V, F, V
b) F V V F b) F, V, V, F
c) F, F, F, F
d) V, V, F, F
e) V, V, V, V
AT A PRXIMA!