Funes Lgicas I

Jos Costa
Introduo Arquitetura de Computadores

Departamento de Engenharia Informtica (DEI)

Instituto Superior Tcnico

2013-10-02

Jos Costa (DEI/IST) Funes Lgicas I 1

 lrfl TECNICO
Sumrio y
LISBOA

lgebra de Boole

Manipulao de expresses lgicas

Representao de funes lgicas

Portas lgicas bsicas e sua realizao fsica

Jos Costa (DEI/IST) Funes Lgicas I 2

 lrfl TECNICO
Funes Lgicas y
LISBOA

THREE LOGIC/ANS WALK INTO A BAR ...

 lrfl
Sistemas Digitais e lgebra de Boole y TECNICO
LISBOA

Sistemas digitais, assentam na utilizao de circuitos eletrnicos, que

podem assumir, em cada momento, um de dois estados

Sistemas digitais usam lgebra de Boole Binria

 lrfl TECNICO
Funes Lgicas de Uma Varivel y
LISBOA

Variveis podem ter dois valores: 0 ou 1

Funes lgicas so funes aplicadas sobre este conjunto de
valores
Nmero de funes finito

Funes lgicas de uma varivel

x = 0 x = 1 Expresso da funo Nome da funo
0 0 f0 (x ) = 0 constante 0
0 1 f 1 (x ) = x identidade
f (x )
1 0 f2 (x ) = x negao
1 1 f3 (x ) = 1 constante 1
Funo NOT

x x
0 1
1 1 0
x x x x
x x x
0 1 0
1 0 1

Teorema da dupla negao

x= = x
 lrfl TECNICO
Funes de Duas Variveis y
LISBOA
x 0 0 1 1 Expresso da Nome da
y 0 1 0 1 funo funo
0 0 0 0 f0 (x , y ) = 0 constante 0
0 0 0 1 f1 (x , y ) = x y conjuno ou AND
0 0 1 0 f2 (x , y ) = x y implicao negada
0 0 1 1 f3 (x , y ) = x identidade
0 1 0 0 f4 (x , y ) = x y implicao negada
0 1 0 1 f5 (x , y ) = y identidade
0 1 1 0 f6 (x , y ) = x y disjuno exclusiva ou XOR
0 1 1 1 f7 (x , y ) = x y disjuno ou OR
f (x , y
) 1 0 0 0 f8 (x ,y ) = x y disjuno negada ou NOR
1 0 0 1 f9 (x , y ) = x y equivalncia
1 0 1 0 f10 (x , y ) = y negao
1 0 1 1 f11 (x , y ) = x y implicao
1 1 0 0 f12 (x , y ) = x negao
1 1 0 1 f13 (x , y ) = x y implicao
1 1 1 0 f14 (x , y ) = x y conjuno negada ou NAND
1 1 1 1 f15 (x , y ) = 1 constante 1

Jos Costa (DEI/IST) Funes Lgicas I 7

 lrfl TECNICO
Funo Conjuno y
LISBOA

x y x

=D-D
x
x & 0 0 y0
x.y x.y 0 1 0
y
y 1 0 0
1 1 1

f (x , y ) = x
y f (x , y ) = x
y
f (x , y ) =
xy

Tambm conhecida como produto lgico

 Teoremas

Comutatividade xy=yx

Associatividade (x y ) z = x (y

z ) Idempotncia xx=x

Elemento neutro x1= x

Elemento absorvente x0= 0

Complemento xx=0

Jos Costa (DEI/IST) Funes Lgicas I 9

 lrfl TECNICO
Funo Disjuno y
LISBOA

x y x+ y
x
x >1 0 0 0
y x+y x+y 0 1 1
y
1 0 1
1 1 1

f (x , y ) = x
y f (x , y ) = x
+y
Tambm conhecida com soma lgica

Jos Costa (DEI/IST) Funes Lgicas I 1

Teoremas

Comutatividade x+ y= y+ x

Associatividade (x + y ) + z = x + (y +

z ) Idempotncia x+ x= x

Elemento neutro x+0=x

Elemento absorvente x+1=1

Complemento x+ x= 1
 lrfl TECNICO
Princpio da Dualidade y
LISBOA

Princpio da Dualidade
Se uma expresso em termos de AND, OR e NOT verdadeira,
tambm o a expresso que se obtm por troca de todos os
operadores AND por OR, de todos os operadores OR por AND,
de todos os valores 0 por 1 e de todos os valores 1 por 0.

x y xy x y x+ y
0 0 0 1 1 1
0 1 0 1 0 1
1 0 0 0 1 1
1 1 1 0 0 0
 lrfl
Prioridade na Execuo das Operaes y TECNICO
LISBOA

(x + y ) z = x + (y z )

x + y z = ?x + (y z )
 lrfl TECNICO
Conjuno e Disjuno y
Teoremas LISBOA

Distributividade do produto em relao soma

x (y + z ) = x y + x
z

Distributividade da soma em relao ao produto

x + y z = (x + y ) (x + z
)
Absoro
x+ xy= x
x (x + y ) = x

Redundncia
x+ xy= x+ y
x (x + y ) = x y

Concenso
xy+ yz+ xz = xy+ xz
(x + y ) (y + z ) (x + z ) = (x + y ) (x + z )
 lrfl TECNICO
Leis de Morgan y
LISBOA

Leis de Morgan
x+ y = x
yxy= x
+y
Permite transformar expresses em termos de somas em
expresses em termos de produtos (a menos de uma negao)
x y + z w = (x + y ) (z + w )
Logigrama da funo

x.y+z.
wz

(x + y) . (z + w)

w
 lrfl
Funes NAND e NOR V TECNICO
LISBOA

Funo NAND Funo NOR

f (x , y ) = x y f (x , y ) = x +
y
x y xy x y x+ y
0 0 1 0 0 1
0 1 1 0 1 0
1 0 1 1 0 0
1 1 0 1 1 0
x
x x >1
x &
x. x.y y x+y x+y
yy y y

Jos Costa (DEI/IST) Funes Lgicas I 1

 lrfl TECNICO
Funo y
XOR LISBOA

Funo XOR Teoremas

f (x , y ) = x
xy=xy+ x
y
x y xy y
0 0 0 x y = (x + y ) (x + y
0 1 1 )
1 0 1
1 1 0 x0= x
x1= x

D
x
xy=xy= xy
=1
x xy
xy
y y xy = xy
 lrfl TECNICO
Funes de n Variveis y
LISBOA

f (x , y , z , w ) = x y + x y z + (x y + w ) + (x y z )

Jos Costa (DEI/IST) Funes Lgicas I 2

 lrfl TECNICO
Manipulao de Expresses Lgicas y
LISBOA
Teoremas servem para manipular expresses lgicas
para: Simplificar expresses
Obter expresses equivalentes que cumpram determinados
critrios
f (a, b, c ) = abc + cb + ca
 lrfl TECNICO
Representao de Funes Lgicas y
LISBOA

Forma normal disjuntiva

Disjuno de conjunes f (a, b, c ) = bc + ab

Forma normal conjuntiva

Conjuno de disjunes f (a, b, c ) = b(c + a)
a b c f (a, b, c ) b
0 0 0 0 c
0 0 1 0 f (a, b, c)
0 1 0 1
0 1 1 0 a
1 0 0 0
1 0 1 0
1 1 0 1
1 1 1 1
Forma Cannica Normal Disjuntiva
f (a, b, c ) = abc + abc + abc
Forma Cannica Normal Conjuntiva
f (a, b, c ) = (a + b + c )(a + b + c )(a + b + c )(a + b + c )(a + b +
c)
 lrfl TECNICO
Circuitos Integrados Digitais y
LISBOA
CPU Transistor Counts 1971-2008 & Moore's Law
2,000,000,000 DlmC:n....,,2 --m
1 ,000,000,000 POWE==
klilm1wtui-=-.-:-a:? o
..,...,. ,,,<ISIP""""
100,000,000 ,... ...
"1....
E ,,,'li-.1

..
0 ,.,
::::I .,,,"1111
0 10,000,000
CUMI atlCIWI 'Maanl'a l..n':
llm111lnir count daubing .,,'IIF'-.n

! fMl'f !WO !,'1111111

,,,":'-'','
"jj5
c 1,000,000

100,000

10,000 .,
. ...
. -,'
..... , ..-.....
.i- -
,''

2,300

/
 lrfl TECNICO
Circuitos Integrados Digitais y
LISBOA

2000
1971 1980 1990

Date of introduction
Jos Costa (DEI/IST) Funes Lgicas I 24
 Famlias Lgicas TECNIC
OA

TTL - Tansistor-Transitor Logic

A mais utilizada durante anos
Tansistores do tipo bipolar
CMOS - Complementary Metal Oxide Semiconductor
Tecnologia mais utlizada atualmente
Transistores do tipo MOSFET
Era mais lenta que TTL, com menor consumo
Neste momento as velocidades de operao so j muito
elevadas mas custa do consumo
ECL - Emitter Coupled Logic
Tecnologia muito rpida
Consumo energtico muito elevado
Transistores do tipo bipolar
Requer bons conhecimentos de eletrnica
Usada em sistemas militares
Jos Costa (DEI/IST) Funes Lgicas I 2
 lrfl TECNICO
Famlias Lgicas y LISBOA

AAAAA
AAAAA
AAAAAA
AAAAA
14 13 12 11 10 9 8
Vcc

Gnd
1 2 3 4 5 6 7

Jos Costa (DEI/IST) Funes Lgicas I 2

 lrfl TECNICO
Portas Bsicas V LISBOA

Transistores p e n Porta NAND

Dreno VDD
Fonte
Porta
Porta
VO
Dreno Fonte VI A
VI B

Porta NOT Gnd

VDD

VI
VO
Porta NOR
Gnd VDD
VI A
VDD
VDD VI B
VI = V0 VO = VDD VI = V1 VO = Gnd VO

Gnd
Gnd Gnd

Jos Costa (DEI/IST) Funes Lgicas I 2

 lrfl TECNICO
Nveis de Tenso e Nveis Lgicos y
LISBOA

VOHmax IHmax
5V V

4V
H H
3V

VOHmin
2V VIHmin
Margem
de rudo
1V VILmax
V L
0V L OLmax VILmin
VOLmin
 lrfl TECNICO
Atrasos y
LISBOA

A
B Z

A
\.
B
,
j

Z
'\
'f

'
tpLH tpHL
- -
 lrfl
y TECNICO
Energia LISBOA

Pd = CLV DD

Jos Costa (DEI/IST) Funes Lgicas I 3

 lrfl TECNICO
Dispositivos Especiais y
Buffers de trs estados LISBOA

- - I r-
Ie Id

Oe Dados Od

DIR

I0 O

Sel

I1
 lrfl TECNICO
Dispositivos Especiais y
Elementos incompletos LISBOA

VDD

y
VI0 VO
VDD

- Gnd
VO
VI
yr-
- Gnd V
I1 y
- Gnd
 lrfl TECNICO
Realizao Direta y
ROM / PROM / EPROM / LISBOA

EEPROM

A2
A1
A0

P0

P1
Endereo Dados
A2 A1 A0 D3 D2 D1 D0 P2

0 0 0 1 1 1 0
P3
0 0 1 1 1 0 0
0 1 0 0 1 1 1 P4
0 1 1 1 1 1 1
1 0 0 1 0 1 0 P5

1 0 1 1 0 1 1
1 1 0 0 0 0 0 P6

1 1 1 1 0 0 1 P7

D0 D1 D2 D3
 lrfl TECNICO
Sumrio y
LISBOA

lgebra de Boole

Manipulao de expresses lgicas

Representao de funes lgicas

Portas lgicas bsicas e sua realizao fsica

 l rfl
Referncias y LISBOA
TECNICO

Arquitectura de Computadores: dos Sistemas Digitais aos

Microprocessadores,
G. Arroz, J. Monteiro, A. Oliveira,
Seces 2.1, 2.2, 3.1, 3.4, 3.5
 l rfl
Prxima Aula y LISBOA
TECNICO

Codificadores e descodificadores; multiplexadores