Escolar Documentos
Profissional Documentos
Cultura Documentos
Portas Lgicas
Arquitetura de Computadores - 17
Conjuno
Duas proposies podem ser combinadas pelo conectivo "e"
para formar uma proposio chamada conjuno das
proposies originais. conjuno das proposies p e q
representaremos por:
p q ( leia-se p e q )
Outros smbolos utilizados: &
Arquitetura de Computadores - 18
Sejam as proposies:
p: Paris est na Frana
q: Paris est na Inglaterra
r: 2 + 2 = 5
s: 2 + 2 = 4
Qual ser o valor verdade (falso, verdadeiro) das conjunes:
a) p s
b) p r
c) q s
d) q r
Considerando que a conjuno exige que as duas
proposies sejam verdadeiras para o conjunto ser
verdadeiro teremos:
a) p s significa "Paris est na Frana e 2 + 2 = 4" ,
portanto uma proposio verdadeira.
b) p r significa "Paris est na Frana e 2 + 2 = 5" ,
portanto uma proposio falsa, j que 2 + 2 no igual
a 5.
c) q s significa "Paris est na Inglaterra e 2 + 2 = 4" ,
que do mesmo modo uma proposio falsa j que Paris
no est na Inglaterra, apesar de 2 + 2 ser igual a 4.
d) q r significa "Paris est na Inglaterra e 2 + 2 = 5" ,
uma expresso falsa.
Arquitetura de Computadores - 19
Disjuno
Duas proposies quaisquer podem ser combinadas pelo
conectivo "ou" (com sentido de "e/ou") para formar uma nova
proposio que chamada disjuno das duas proposies
originais. Designaremos a disjuno de duas proposies p e q
por:
p V q ( leia-se p ou q )
Outros smbolos utilizados: +.
Arquitetura de Computadores - 20
a) p V s
b) p V r
r: 2 + 2 = 5
c) q V s
s: 2 + 2 = 4
d) q V r
Portanto,
a) p V s verdadeira
b) p V r verdadeira
c) q V s verdadeira
d) q V r falsa, considerando que na disjuno podemos
considerar verdadeira a proposio que contiver pelo
menos uma subproposio verdadeira.
Arquitetura de Computadores - 21
Negao
Dada uma proposio p qualquer, uma outra proposio,
chamada negao de p pode ser formada escrevendo-se:
falso que. . . , antes de p
ou, se possvel, inserindo a palavra
" no " em p.
Simbolicamente designaremos a negao de p por:
p
Outros smbolos utilizados:
(leia-se no p)
~.
p:
b)
p:
c)
p:
d)
p:
p falsa;
P verdadeiro.
Pela tabela:
p
V
F
F
V
Conjuno
AB
AB
AVB
AB
Disjuno
Negao
A
(complemento de A)
Arquitetura de Computadores - 23
B
B
1) Circuito em Srie
2) Circuito em Paralelo
(A) Ligada
(B) Desligada
(A) Desligada
(B) Ligada
(A) Ligada
(B) Ligada
Arquitetura de Computadores - 24
B
A
A
A
A ( B V A )
( A B ) V ( A V C ) B
A
1
1
0
0
B
1
0
1
0
AB
A
1
1
0
0
B
1
0
1
0
AVB
A
1
0
Arquitetura de Computadores - 25
Exerccios
1) Descreva os circuitos abaixo usando expresses:
C
a)
b)
B
A
A
B
C
A
Solues
1)
a) A ( B V A' ) C
2)
b) [ A ( C V B' )] V ( B C' )
a)
B
A
A
B
b)
A
C
B
B
C
Arquitetura de Computadores - 26
(II)
Arquitetura de Computadores - 27
Porta AND ( E )
A porta AND tem duas ou mais entradas e a sada assume o
valor 1 se e somente se todas as entradas so 1; logo se as
entradas so A e B a sada ser A . B.
Smbolo
Funo Lgica
Y=A.B
=A AND B
=A B
Porta AND2
=AB
Tabela Verdade
A
B
Y
0
0
0
0
1
0
1
0
0
1
1
1
Porta OR ( OU )
A porta OR tem duas ou mais entradas e a sada ser 1 se
uma ou mais de uma entrada for igual a 1; logo, se as
entradas so A e B a sada ser A + B.
Smbolo
Funo Lgica
Y=A+B
=A OR B
=A V B
Porta OR2
Tabela Verdade
A
B
Y
0
0
0
0
1
1
1
0
1
1
1
1
B
C
D
Y
Porta OR4
Arquitetura de Computadores - 28
Porta NOT ( NO )
A porta NOT s tem uma entrada e sua sada 1 se a entrada
0 e ser 0 se a entrada 1; logo se a entrada A a sada ser
A' .
Smbolo
Funo Lgica
Y=
Tabela Verdade
A
~ NOT
Porta NAND ( NE )
A porta NAND (NE) o circuito lgico que executa o inverso da
funo lgica AND (E), ou seja, a sada apresenta nvel lgico 1
se pelo menos uma das variveis de entrada assumir o valor 0.
Pode-se, ento, cham-la de porta lgica NOT-AND (NO-E).
Smbolo
A
B
Funo Lgica
Y= A.B
Tabela Verdade
A
B
Y
0
0
1
0
1
1
1
0
1
1
1
0
Arquitetura de Computadores - 29
Funo Lgica
Tabela Verdade
A
B
Y
0
0
1
0
1
0
1
0
0
1
1
0
A
Y
Y= A+B
Funo Lgica
A
Y
A
B
C
Y= AB
ABC
Porta XOR3
A
B
C
Tabela Verdade
A
B
Y
0
0
0
0
1
1
1
0
1
1
1
0
ABC
A
0
0
0
0
1
1
1
1
B
0
0
1
1
0
0
1
1
XOR3
C
ABC
0
0
1
1
0
1
1
0
0
1
1
0
0
0
1
1
Tabela Verdade
XOR3 Equivalente
Arquitetura de Computadores - 30
Funo Lgica
A
B
Y= AB
Tabela Verdade
A
B
Y
0
0
1
0
1
0
1
0
0
1
1
1
A B = 1 se e somente se A = B
Circuito Completo
Arquitetura de Computadores - 31
Arquitetura de Computadores - 32
Arquitetura de Computadores - 33