Académique Documents
Professionnel Documents
Culture Documents
CARLOS WOLKARTT
PORTAS LGICAS
DA LGEBRA BOOLEANA AOS CIRCUITOS DIGITAIS MODERNOS
RIO DE JANEIRO
2013
CARLOS WOLKARTT
PORTAS LGICAS
DA LGEBRA BOOLEANA AOS CIRCUITOS DIGITAIS MODERNOS
RIO DE JANEIRO
2013
AGRADECIMENTOS
SUMRIO
INTRODUO ......................................................................................................... 4
CAPTULO I - LGEBRA BOOLEANA ................................................................ 5
1.1 Resenha histrica ...................................................................................... 5
1.2 Respaldo conceitual .................................................................................. 6
1.3 Tabelas-verdade ........................................................................................ 7
1.3.1 Tabela-verdade AND .............................................................. 7
1.3.2 Tabela-verdade OR ................................................................. 8
1.3.3 Tabela-verdade NOT ............................................................... 8
1.4 Preliminares da lgebra booleana ............................................................ 10
1.5 lgebra booleana e circuitos eletrnicos .................................................. 13
CAPTULO II - PORTAS LGICAS ........................................................................ 15
2.1 Conceitos introdutrios ............................................................................. 15
2.2 Operaes lgicas ...................................................................................... 17
2.2.1
2.2.2
2.2.3
2.2.4
2.2.5
2.2.6
INTRODUO
1.3 Tabelas-verdade
A
V
V
F
F
B
V
F
V
F
A AND B
V
F
F
F
1.3.2 Tabela-verdade OR
B
V
F
V
F
A OR B
V
V
V
F
A
V
F
NOT A
F
V
Para qualquer sistema algbrico, existe uma srie de postulados iniciais donde
se pode deduzir regras adicionais, teoremas e outras propriedades do sistema. A lgebra
booleana amide emprega os seguintes postulados:
10
Os conectivos e + so comutativos.
11
8. (AB) = A + B
9. A + AB = A
10. A (A + B) = A
11. A + AB = A + B
12. A (A+B) = AB
13. AB + AB = A
14. (A+B) (A+B) = A
15. A + A = 1
16. A A = 0
12
Expresso inicial: A OR B.
Primeiro passo para aplicar o teorema de De Morgan: A AND B.
Segundo passo para aplicar o teorema de De Morgan: A AND B.
Terceiro passo para aplicar o teorema de De Morgan: (A AND B).
Definio de OR utilizando NAND: (A AND B) = A NAND B.
13
14
15
Figura 1:
1 Exemplo de uma porta lgica.
A informao binria que recebida e processada por uma porta lgica a fim
de gerar um resultado tambm binrio representada em um sistema digital por
quantidades fsicas denominadas sinais.. Os sinais eltricos, tais como as voltagens,
esto presentes em
m qualquer de dois valores reconhecveis do sistema digital
digital, e
representam uma varivel binria igual a 1 ou 0 [MONT07].. Por exemplo, um sistema
digital especfico pode empregar o sinal de 3 volts para representar
representar o dgito de bit 1, e
0.5 volts para o dgito
to de bit 0. A figura 2 ilustra um exemplo de um sinal binrio.
Figura 2:
2 Exemplo de sinal binrio.
Como apresentado na figura acima,, cada valor binrio tem um desvio aceitvel
do valor nominal. A regio intermediria entre as duas regies permitidas sse cruza
somente durante a transmisso de estado. Os terminais de entrada de um circuito digital
aceitam sinais binrios dentro das tolerncias permitidas, e os circuitos respondem nos
terminais de sada com os sinais binrios que caem dentro dessas tolerncias.
16
17
18
19
20
21
A porta lgica de operao NOR (NOT OR) anloga porta NAND, sendo
formada por uma porta OR seguida de um inversor, negando a soma lgica dos sinais de
entrada. Seu smbolo grfico e sua equao algbrica esto ilustrados na figura 7, assim
como o circuito
ito eltrico equivalente.
equivalente
22
A XOR B
1
1
0
0
1
0
1
0
0
1
1
0
23
A sada F (sada
sada final ou total do circuito) [BHAT12] variar
riar de acordo com os
valores assumidos por A e B.
Os circuitos de lgica combinacional so feitos a partir das portas lgicas
bsicas AND, OR e NOT. Tambm podem ser construdos com portas NAND, NOR e
XOR, que so combinaes das trs portas bsicas.
A operao dos circuitos combinacionais entendida atravs das equaes
algbricas booleanas e suas respectivas tabelas-verdade,
tabelas verdade, estudadas no subcaptulo 1.3.
Vejamos alguns exemplos de circuitos combinacionais e a construo de suas
respectivas equaes algbricas,
gbricas, com resolues por possveis valores de entrada
entrada.
24
EXEMPLO 1
Se A = 1, B = 0, C = 1, ento:
F1 = AB + BC
F1 = (10) + (01)
F1 = (11) + (01)
F1 = 1 + 0
F1 = 1
Se A = 0, B = 1, C = 0, ento:
F1 = AB + BC
F1 = (01) + (10)
F1 = (00) + (01)
F1 = 0 + 0
F1 = 0
25
EXEMPLO 2
Se A = 0, B = 1, C = 0, D = 1, ento:
F2 = (A+B)(AC)(A+B+D)
F2 = (0+1)(0+0)(0+1+0)
F2 = (1+1)(1+1)(1+0)
(1+0)
F2 = 1 1 1
F2 = 1
Se A = 1, B = 0, C = 1, D = 0, ento:
F2 = (A+B)(AC)(A+B+D)
F2 = (1+0)(1+1)(1+0+0)
F2 = (0+1)(0+0)(1+0)
F2 = 1 0 1
F2 = 0
26
EXEMPLO 3
Se A = 1, B = 1, C = 0, ento:
F3 = ((ABC) + (A+B) C)
F3 = ((110) + (1+1) 0)
F3 = ((100)
0) + (0+1) 1)
F3 = (0+11)
F3 = (1+11)
F3 = 1
F3 = 0
Se A = 0, B = 0, C = 1, ento:
F3 = ((ABC) + (A+B) C)
F3 = ((001) + (0+0) 1)
F3 = ((011)
1) + (1+0) 0)
F3 = (0+10)
F3 = (1+00)
F3 = 0
F3 = 1
27
EXEMPLO 4
Se A = 1, B = 0, C = 1, ento:
F4 = (A (BC))
C)) + (BC)
(B
+ AC
F4 = (1 (01))
1)) + (01)
(0
+11
F4 = (0 1) + 1 + 1 1
F4 = 1 + 0 + 1 1
F4 = 1
Se A = 0, B = 1, C = 0, ento:
F4 = (A (BC))
C)) + (BC)
(B
+ AC
F4 = (0 (10)) + (1
10) + 0 0
F4 = (1 1) + 1 + 0 0
F4 = 0 + 0 + 0 0
F4 = 0
O smbolo representa a operao lgica
l
XOR,, pois se os valores so
diferentes, o processo resulta em verdadeiro [FLOY05].
28
29
30
31
32
33
34
CONCLUSO
35
REFERNCIAS BIBLIOGRFICAS
[SCHR97]
[SHOE01]
36
BIBLIOGRAFIA
TOCCI, Ronald J., WIDMER, Neal S., e MOSS, Gregory L. Sistemas Digitais:
Princpios e Aplicaes, 11 ed. So Paulo: Pearson, 2011. ISBN-13: 978-8576059226.
BOYLESTAD, Robert, e NAHELSKY, Louis. Electronic Devices and Circuit Theory,
10th ed. Upper Saddle: Prentice Hall, 2008. ISBN-13: 978-0135026496.
TANENBAUM, Andrew S. Organizao Estruturada de Computadores, 5 ed. So
Paulo: Pearson, 2007. ISBN-13: 978-8576050674.
_______. Distributed Systems: Principles and Paradigms. New Jersey: Prentice Hall,
1987. ISBN-13: 978-0130888938.
GERSTING, Judith L. Fundamentos Matemticos para a Cincia da Computao, 5
ed. Rio de Janeiro: Gen/LTC, 2004. ISBN-13: 978-8521614227.
SOUZA, Joo Nunes de. Lgica para Cincia da Computao: Uma Introduo
Concisa, 2 ed. So Paulo: Elsevier, 2008. ISBN-13: 978-8535229615.
FILHO, Edgard de Alencar. Iniciao Lgica Matemtica. So Paulo: Nobel, 2006.
ISBN-13: 978- 8521304036.
SHOUP, Victor. A Computational Introduction to Number Theory and Algebra. Reino
Unido: Cambridge University Press, 2009. ISBN-13: 978- 0130888938.
37