lgebra das Proposies

Portas Lgicas

lgebra das Proposies e Portas Lgicas

lgebra das Proposies...................................................................... 18

Conjuno ....................................................................................... 18
Disjuno ........................................................................................ 20
Negao ........................................................................................... 22
Circuitos Eltricos Bsicos.................................................................. 24
Portas Lgicas Bsicas ........................................................................ 27
Circuitos Obtidos de Expresses Booleanas ........................................ 31

Arquitetura de Computadores - 17

lgebra das Proposies e Portas Lgicas

lgebra das Proposies

Chamaremos qualquer afirmao verbal que possamos dizer se

falsa ou verdadeira (nunca ambas) de proposio. Assim,

"choveu ontem tarde?" uma proposio (pode ser
falsa ou verdadeira), mas

"onde que voc esteve?" no uma proposio (no
falsa nem verdadeira).
Algumas proposies so compostas de subproposies ligadas
por conectivos. Estamos interessados em trs conectivos: e, ou
e no.

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

lgebra das Proposies e Portas Lgicas

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

lgebra das Proposies e Portas Lgicas

Podemos concluir que, se p verdadeira e q verdadeira

ento p q ser verdadeira, de outro modo p q ser falsa.
Um meio conveniente de estabelecer esta concluso dado
pela tabela:
Tabela Verdade
p
q
pq
V
V
V
V
F
F
F
V
F
F
F
F
onde:
V-Verdadeira F-Falsa

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

lgebra das Proposies e Portas Lgicas

Para as quatro proposies do exemplo anterior qual ser o

valor verdade das disjunes:

p: Paris est na Frana

a) p V s

q: Paris est na Inglaterra

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.

Podemos concluir que:

Tabela Verdade
p
q
pVq
V
V
V
V
F
V
F
V
V
F
F
F

Arquitetura de Computadores - 21

lgebra das Proposies e Portas Lgicas

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)

~.

Para as proposies p e r anteriores:

p: Paris est na Frana

q: Paris est na Inglaterra

r: 2 + 2 = 5

s: 2 + 2 = 4
a)

p:

falso que Paris esteja na Frana (Paris no est na

Frana) - uma proposio falsa.

b)

p:

falso que Paris est na Inglaterra, uma proposio

verdadeira.

c)

p:

falso que 2 + 2 = 5 ( 2 + 2 5 ) uma proposio

verdadeira.

d)

p:

falso que 2+2 = 4 - uma proposio falsa.

Arquitetura de Computadores - 22

lgebra das Proposies e Portas Lgicas

Conclumos que: se p verdadeiro ento

se p falso ento

p falsa;

P verdadeiro.

Pela tabela:
p

V
F

F
V

A teoria dos conjuntos tem uma intima relao com a lgebra

das proposies. De fato, as operaes bsicas sobre conjunto
so correspondentes aos conectivos lgicos como pode ser visto
abaixo:
Diagrama de Euler-Venn

Conjuno
AB

AB

AVB

AB

Disjuno

Negao

A
(complemento de A)

Arquitetura de Computadores - 23

lgebra das Proposies e Portas Lgicas

Circuitos Eltricos Bsicos

A analogia existente entre a lgebra das proposies e as
chaves eltricas ser vista a seguir.
Considere os circuitos abaixo. Em cada caso, quando que a
lmpada ficar acesa?
A
A

B
B

1) Circuito em Srie

2) Circuito em Paralelo

Sejam A e B interruptores eltricos. No caso 1 a lmpada s

ficar acesa no caso dos dois interruptores A e B estarem
ligados.
A

No caso 2 a lmpada ficar acesa se pelo menos um dos

interruptores A ou B estiver ligado.
A

(A) Ligada
(B) Desligada

(A) Desligada
(B) Ligada

(A) Ligada
(B) Ligada

Arquitetura de Computadores - 24

lgebra das Proposies e Portas Lgicas

Portanto, A B designa um circuito ligado em srie e A V B

designa um circuito ligado em paralelo.
Designando por A' um interruptor com a propriedade de estar
desligado quando o interruptor A est ligado e vice-versa,
teramos o circuito equivalente ao da lgebra das
proposies.
Um circuito eltrico significa, portanto, um arranjo de fios e
interruptores que pode ser montado com o uso repetitivo de
combinaes em srie e paralelo.
A

B
A

A
A

A ( B V A )

( A B ) V ( A V C ) B

Utilizando 1 e 0 para designar, respectivamente, que um

interruptor (ou circuito) est ligado ou desligado, complete as
tabelas que descrevem o comportamento de um circuito em
srie e em paralelo.

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

lgebra das Proposies e Portas Lgicas

Exerccios
1) Descreva os circuitos abaixo usando expresses:
C

a)

b)

B
A

A
B

C
A

2) Construa um circuito correspondente s expresses:

a) ( A' B ) V [ A' ( B' V A V B ) ]
b) ( A V B ) C ( A' V B' V C )

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

lgebra das Proposies e Portas Lgicas

Portas Lgicas Bsicas

Em qualquer sistema digital a unidade bsica construtiva e o
elemento denominado Porta Lgica.
Portas Lgicas so encontradas desde o nvel de integrao em
larga escala (circuitos integrados de processadores Pentium,
por exemplo) ate o nvel de integrao existente em circuitos
integrados digitais mais simples (famlias de circuitos
integrados TTL e CMOS, por exemplo).
Portas lgicas geralmente recebem voltagens como entrada e
produzem voltagens de sada. Os valores destas voltagens no
so significativos e sim dois intervalos de valores: baixo e alto.
Por conveno associamos o 1 e o 0 s voltagens alta e baixa
respectivamente.
Observaes:
(I)

Em lgica digital o valor lgico 0 significa FALSO ( F ) e

normalmente representado por um nvel de tenso
0 Volts, isto , um nvel baixo de tenso - LOW (L).

(II)

O valor lgico 1 significa VERDADEIRO ( V ) e

normalmente representado por um nvel de tenso
+Vcc , isto , um nvel alto de tenso - HIGH ( H ).

A seguir estudaremos o conjunto bsico de portas lgicas

utilizadas em Eletrnica Digital bem como a forma em que so
comercialmente disponveis.

Arquitetura de Computadores - 27

lgebra das Proposies e Portas Lgicas

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

Diagrama de pinos de um circuito

integrado
(CI)
disponvel
comercialmente (TTL - 7408),
contendo 4 portas AND. Para a
famlia de CIs TTL, a alimentao
+Vcc = 5V.

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

lgebra das Proposies e Portas Lgicas

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

Observe a equivalncia da representao dos conectivos:

. AND
+ V OR

~ 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

lgebra das Proposies e Portas Lgicas

Porta NOR ( NOU )

A porta NOR (NOU) o circuito lgico que executa o inverso da
funo lgica OR (OU), ou seja, a sada apresenta nvel lgico 1
se todas as variveis de entrada assumirem o valor 0. Pode-se
cham-la, ento, de NOT-OR (NO-OU).
Smbolo

Funo Lgica

Tabela Verdade
A
B
Y
0
0
1
0
1
0
1
0
0
1
1
0

A
Y

Y= A+B

Porta XOR ( OU-EXCLUSIVO )

A funo lgica XOR (EXCLUSIVE-OR ou OU-EXCLUSIVO)
representa como resultado nvel lgico 1 sempre que existir um
nmero mpar de nveis lgicos 1 nas entradas.
Smbolo

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

lgebra das Proposies e Portas Lgicas

Porta XNOR ( COINCIDNCIA )

A funo lgica XNOR (COINCIDNCIA) em contraposio
XOR tem como resultado nvel lgico 1 sempre que existir em
suas variveis de entrada um nmero par de nveis lgicos 0
ou 1.
Smbolo

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

Circuitos Obtidos de Expresses Booleanas

Podemos desenhar um circuito lgico que execute uma
expresso qualquer.
Exemplo 1: S = (A + B) . C . (B + D)
Iniciamos pelos parnteses, fazendo primeiro as somas dentro
destes para depois fazermos as multiplicaes.

Circuito Completo

Arquitetura de Computadores - 31

lgebra das Proposies e Portas Lgicas

Exemplo 2: A = [ T . ( H + W ) ] + (W' . P ) est representada

abaixo:
T

Arquitetura de Computadores - 32

lgebra das Proposies e Portas Lgicas

COMO UM COMPUTADOR SOMA 1MAIS 1

O que se segue uma verso de um somador-parcial, um dos
circuitos lgicos bsicos de um computador. Trata-se de uma
viso imaginria onde a eletricidade representada pela gua,
as portas por caldeiras, 1 a gua quente (preta) e 0 a gua
fria (branco). O somador parcial reconhece e processa
correntes eltricas representando 0s e 1s.

Arquitetura de Computadores - 33