UFBA - DCC - MAT04 Processamento de Dados

1
Introduo Lgca Dgta!
Lgica a ferramenta pela qual decidimos sobre a validade de uma proposio.
Todo o raciocnio lgico baseado na tomada de uma deciso a partir da avaliao de determinadas condies ou
proposies. Inicialmente tem-se os dados de entrada e uma condio ou uma combinao de condies ou
proposies!. "plica-se a condio aos dados de entrada para decidir quais so os dados de sada.
" lgica digital no diferente. #as apresenta uma peculiaridade$ trabal%a apenas com vari&veis cu'os valores
alternam e(clusivamente entre dois estados e no admitem valores intermedi&rios. )stes estados podem ser
representados por *um* e *"ero*+ *sm* e *no*+ *#erdadero* e *$a!so* ou quaisquer outras grande,as cu'o
valor possa assumir apenas um dentre dois estados possveis. "ssim sendo+ a lgica digital a ferramenta ideal
para trabal%ar com grande,as cu'os valores so e(pressos no sistema bin&rio.
Proposio
Toda proposio uma frase, mas nem toda frase uma proposio; uma frase uma proposio apenas quando
admite um dos dois valores lgicos: Falso (F)ou Verdadeiro %!+ caso contr&rio ser& c%amada de Termo ou
-ome.
&'em(!os)
*+ Frases ,ue no so (ro(os-es
.oncurso
/eguro de .arro
0rasil1
2a,em referencia a ob'etos+ sem a3rmar nada sobre eles+ no fa, sentido+ veri3car sua validade.
.+ Frases ,ue so (ro(os-es
" lua o 4nico satlite do planeta terra 5!
6 .oncurso daquele 0anco f&cil 5!
" cidade de /alvador a capital do estado do "ma,onas 2!
6 numero 789 mpar 2!
:ai, quadrada de dois um n4mero irracional 5!
"na utili,a o ;lano de /a4de 5!
)stas '& fa,em referencia aos ob'etos+ a3rmando algo sobre eles+ fa, sentido veri3car sua
validade+ atribuindo-l%e um valor lgico.
Composio de Proposies
< possvel construir proposies a partir de proposies '& e(istentes. )ste processo con%ecido por Com(oso
de Pro(os-es. /upon%a que ten%amos duas proposies$
A / 0Um trcc!o carrega (essoas0
B / 0Um Trcc!o 1 um carro0
5amos a alguns e(emplos$
"Um triciclo no carrega pessoas" -egao de " no"!!
"Um Triciclo no um carro" -egao de 0 no0!!
"Um triciclo carrega pessoas" e "Um Triciclo um
carro"
=uno de " e 0 " e 0!
"Um triciclo carrega pessoas"" ou "Um Triciclo um
carro"
/eparao de " e 0 " ou 0!
"Um triciclo no carrega pessoas" e "Um Triciclo
um carro"
-egao de " =uno com 0 no "! e 0!
"Um triciclo no carrega pessoas" ou "Um Triciclo
um carro"
-egao de " /eparao de 0 no "! ou 0!
"Um triciclo carrega pessoas" ou "Um Triciclo no
um carro"
-egao de 0 /eparao de " " ou no0!!
"Um triciclo carrega pessoas" e "Um Triciclo no
um carro"
-egao de 0 =uno com " " e no0!!
2e "Um triciclo carrega pessoas" ento "Um Triciclo
um carro"
/e " 5 ento 0 5 " 0!
2e "Um triciclo no carrega pessoas" ento "Um
Triciclo um carro"
/e no "! 5 ento 0 5 no "! 0!
"Um triciclo um ciclomotor" 1 e,u#a!ente a "Um
Triciclo no um carro"
. 5 se e somente se no 0! for
5
. no0!!
Plano de Aula 01/2003 Prof. Abel Miranda Costa e-mail: Abelcosta@atarde.com.br
UFBA - DCC - MAT04 Processamento de Dados
2
-ote que+ para compor proposies usou-se a e(presso no negao!+ e con'uno!+ ou dis'uno!+
implicao! e equival>ncia!. )stes so os c%amados conect#os !gcos ou 6peradores Lgicos!. < normal
utili,armos os conectivos padres na lngua inglesa ou se'a+ 34T no!+ A3D e!+ 45 ou!.
-ote+ tambm+ que usou-se um smbolo para representar uma proposio$ C representa a proposio Um trcc!o
1 um cc!omotor. "ssim+ no6B7 representa Um Trcc!o no 1 um carro+ uma ve, que B representa Um
Trcc!o 1 um carro.
"s proposies para serem v&lidas devem satisfa,er a alguns princpios b&sicos...
Algumas Leis Fundamentais
Le do Tercero &'c!u8do Uma proposio falsa (F) ou verdadeira (V): no ! meio termo"
Le da Contrado Uma proposio no pode ser, simultaneamente, V e F"
Le da Funcona!dade
# valor lgico (V ou F) de uma proposio composta unicamente
determinado pelos valores lgicos de suas proposi$es constituintes"
Exerccios
8! ?ma grande seguradora oferece descontos especiais
para clientes do se(o feminino com mais de @A anos
de idade. ?m corretor dessa seguradora+ deu entrada
em quatro propostas para @ clientes$ #arisa de BC
anos+ Laura de 97+ )duardo de @D e 6svaldo de CE
anos. Fual desses clientes obteve o desconto
oferecidoG
9! )mpresas de transporte coletivo da cidade
oferecem passagens gratuitas para os passageiros
maiores de HB anos ou para quem ten%a de3ci>ncia
fsica de qualquer idade. )m um coletivo+ entraram
quatro passageiros$ "ri+ um cego de HE anos+ Iulce
uma sen%ora de 79 anos sem de3ci>ncia+ Ivanilda+
uma 'ovem de 9H anos que usa muletas para andar
e ;aula+ de BD anos aparentemente normal. Fual
desses passageiros no foi bene3ciado pela
gratuidade da passagemG
C! 6utro dia+ Isabela dei(ou seu currculo numa produtora de /oftJare+ para o cargo de programador. 6 gerente
que a atendeu+ impressionado com seu currculo+ informou-l%e que assim que surgisse uma vaga ela seria
contratada. )m quais situaes o gerente ter& dito a verdadeG
2urgu uma #aga Isa9e!a $o contratada 4 gerente mentu
( , 2e p ento q
8K situao 5 5
9K situao 5 2
CK situao 2 5
@K situao 2 2
@! Iia desses+ =acira prometeu para o marido Llio$ *- -essas frias+ s via'arei para a capital se e somente se
voc> alugar uma casa bem no centro da cidade*. )m quais situaes =acira cumpriu a promessaG
A!ugou a casa :acra #a;ou :acra cum(ru a (romessa
( , p se e somente se q
8K situao 5 5
9K situao 5 2
CK situao 2 5
@K situao 2 2
Ievemos observar que$
" con'uno )! de duas proposies s verdadeira+ quando as duas proposies formadoras
tambm forem verdadeiras.
" dis'uno 6?! de duas proposies s verdadeira+ quando ao menos uma das duas proposies
formadoras for verdadeira.
" implicao ! s falsa quando a primeira proposio for verdadeira e a segunda for falsa.
" equival>ncia ! s falsa quando uma proposio for verdadeira e a outra for falsa.
B! Ietermine o valor lgico das proposies compostas abai(o+ onde$ AM C+ BM B+ CM E+ DM7 e <M8
a! 2$ NO P C!....................................... ! b! 2$ ( Q 8! N0PI!.......................... !
c! 2$ NI Q A! N. P B!..................... ! d! 2$ NO P C! . P 7!........................ !
e! 2$ " P 0! . P 0!.......................... ! f! 2$ O PM 9 !...................................... !
Plano de Aula 01/2003 Prof. Abel Miranda Costa e-mail: Abelcosta@atarde.com.br
& 2e'o Fem+ = 40 Desconto
( , p q
#arisa 5 5
Laura 2 5
)duardo 5 2
6svaldo 2 2
4u = >? De@cente Aratudade
( , p q
"ri 5 5
Iulce 5 2
Ivanilda 2 5
;aula 2 2
UFBA - DCC - MAT04 Processamento de Dados
3
g! 2$ O Q 8 ! 0 PM I!...................... ! %! 2$ NI P A! . P B!....................... !
i! 2$ NI P C! N0 Q 7!..................... ! '! 2$ " P 0! N. P 0!........................ !
)m um computador+ todas as operaes so feitas a partir de tomadas de decises que+ por mais comple(as que
se'am+ nada mais so que combinaes das tr>s operaes lgicas correspondentes Rs condies acima descritas$
-6T+ "-I e 6:. ;ara tomadas de decises mais comple(as+ tudo o que preciso combinar estas operaes+
gerando as 6peraes Ierivadas.
) para isto necess&rio um con'unto de ferramentas capa, de mane'ar vari&veis lgicas. )sse con'unto de
ferramentas a c%amada *Slgebra 0ooleana*.
lgebra Booleana
" Slgebra 0ooleana recebeu seu nome em %omenagem ao matem&tico ingl>s Teorge 0oole+ que a concebeu e
publicou suas bases em 8EB@+ em um trabal%o intitulado U -a Investgation of t%e LaJs of T%oug%t on Vic% to
2ound t%e #at%ematics T%eorie of Logic and ;robabilitiesW . 6 trabal%o+ evidentemente+ nada a ver com
computadores digitais+ '& que foi publicado quase um sculo antes que eles fossem inventados.
)ra meramente um tratado sobre lgica+ um dos muitos e(emplos em que os matem&ticos se adiantam ao tempo
e criam com dcadas de avano as bases abstratas para uma tecnologia de ponta. foi somente em 8DC7 que
.laude /%annon+ um pesquisador do #IT+ se deu conta que a lgica booleana era a ferramenta ideal para analisar
circuitos eltricos baseados em rel>s+ os antecessores imediatos dos computadores eletrXnicos digitais a v&lvula Y
que por sua ve, originaram os modernos computadores que empregam a eletrXnica do estado slido.
" Slgebra 0ooleana semel%ante & &lgebra convencional que con%ecemos no curso secund&rio+ o ramo da
matem&tica que estuda as relaes entre grande,as e(aminando as leis que regulam as operaes e processos
formais independentemente dos valores das grande,as+ representadas por UletrasW ou smbolos abstratos. "
particularmente da &lgebra 0ooleana que ela estuda relaes entre vari&veis lgicas que podem assumir apenas
um dentre dois estados opostos+ UverdadeiroW UfalsoW no admitindo nen%um valor intermedi&rio.
Ia mesma forma que a &lgebra convencional+ a &lgebra booleana utili,a operaes lgicas+ portanto so
operaes lgicas.
"s ra,oes pelas quais a &lgebra booleana a ferramenta ideal para analisar problemas de lgica digital tornam-se
evidentes assim que se tomam con%ecimentos de suas operaes..
A %arB#e! Lgca 6ou Boo!eana7
.onsidere a proposio citada anteriormente$ A / 0 Um trcc!o carrega (essoas 0
" proposio representada pelo smbolo A+ di,emos que A uma #arB#e! !gca tambm c%amada de
vari&vel 0ooleana!+ pois (ode assumr somente um dos dos #a!ores !gcos) F ou %.
peraes Booleanas
4(erao A3D+ cu'o operador representado por *+* sinal gr&3co do *ponto*!+ pode ser aplicada a duas ou mais
vari&veis que podem assumir apenas os valores *verdadeiro* ou *falso*!. " operao "-I aplicada Rs vari&veis "
e 0 e(pressa por$
A A3D B / A+B
" operao "-I resulta *verdadeiro* se e apenas se os valores de ambas as vari&veis " e 0 assumirem o valor
*verdadeiro*.
Pro(redades) a! .omutatividade$ A and B / B and A
b! "ssociatividade$ 6A and B7 and C / A and 6B and C7
4(erao 45+ cu'o operador *Z* sinal gr&3co da adio! e que tambm pode ser aplicada a duas ou mais
vari&veis que podem assumir apenas os valores *verdadeiro* ou *falso*!. " operao 6: aplicada Rs vari&veis " e
0 e(pressa por$
A 45 B / ACB
" operao 6: resulta *verdadeira* se o valor de qualquer uma das vari&veis " ou 0 assumir o valor *verdadeiro*.
Pro(redades) a! .omutatividade$ A or B / B or A
b! "ssociatividade$ 6A or B7 or C / A or 6B or C7
4(erao 34T+ cu'o operador uma barra %ori,ontal sobre o smbolo da vari&vel+ como em " + un&ria+ ou se'a+
aplic&vel a uma 4nica vari&vel. )la e(pressa por$
34T A / A
" operao -6T inverte o valor da vari&vel. )le resulta *verdadeiro* se a vari&vel assume o valor *falso* e resulta
*falso* se a vari&vel assume o valor *verdadeiro*.
Plano de Aula 01/2003 Prof. Abel Miranda Costa e-mail: Abelcosta@atarde.com.br
UFBA - DCC - MAT04 Processamento de Dados
4
peraes !eri"adas
Iestas tr>s operaes fundamentais podem ser derivadas mais tr>s operaes adicionais+ as operaes -"-I+
-6: e O6: ou 6: e(clusivo!.
4(erao 3A3D obtida a partir da combinao das operaes -6T e "-I usando a relao$
A 3A3D B / 34T 6A A3D B7
" operao -"-I resulta *falso* se e apenas se os valores de ambas as vari&veis " e 0 assumirem o valor
*verdadeiro*.
4(erao 345 obtida a partir da combinao das operaes -6T e 6: usando a relao$
A 345 B / 34T 6A 45 B7
" operao -6: resulta *verdadeiro* se e apenas se os valores de ambas as vari&veis " e 0 assumirem o valor
*falso*.
4(eraoD <45 ou *6: e(clusivo* um caso particular da funo 6:. )la e(pressa por$
A <45 B / " 6: 0! "-I -6T " "-I 0!
" O6: 0 / 6ACB7 + 6A+B7E
" operao O6: resulta *verdadeiro* se e apenas se e(clusivamente uma das vari&veis " ou 0 assumir o valor
*verdadeiro* uma outra forma+ talve, mais simples+ de e(primir a mesma idia $ a operao O6: resulta em
*verdadeiro* quando os valores das vari&veis " e 0 forem diferentes entre si e resulta *falso* quando forem
iguais!.
4(eraoD <345 ou *-6: e(clusivo* resulta *verdadeiro* se as duas vari&veis de entrada " e 0 tiverem valores
lgicos iguais. )sta funo tambm c%amada funo &FUI%ALG3CIA.
A <345 B / 34T 6A <45 B7
Temos tr>s formas de analisar as operaes lgicas booleanas$ Ta9e!a-%erdade+ Fun-es 9oo!eanas e
Dagramas Lgcos.
#abela$Verdade
?ma tabela verdade nada mais que a lista de todos os possveis resultados da operao+ obtida atravs de
todas as combinaes possveis dos valores dos operandos. .omo os operandos somente podem assumir os
valores *verdadeiro* e *falso*+ a confeco de uma tabela verdade muito simples. ;ara e(empli3car+ vamos
montar a tabela verdade da operao "-I aplicada Rs vari&veis " e 0. /abemos que para que o resultado de "
"-I 0 se'a verdadeiro+ "#06/ os operandos devem ser verdadeiros+ todas as demais combinaes de valores das
vari&veis resultam *falso*. 6u se'a$
A B A A3D B
;ara simpli3car+ representemos o
valor *verdadeiro* por *** e *falso*
por *0*...
A B
A A3D B
2also 2also 2also A A A
2also 5erdadeiro 2also A 8 A
5erdadeiro 2also 2also 8 A A
5erdadeiro 5erdadeiro 5erdadeiro * * *
:aciocnio id>ntico pode ser feito para as demais operaes. 6 resultado pode ser visto na tabela abai(o+ que
e(ibe a tabela verdade de todas as operaes lgicas$
A B 34T A 34T B A A3D B A 3A3D B A 45 B A 345 B A <45 B A <345 B
0 0 8 8 A 8 0 * A *
0 * 8 A A 8 8 A * A
* 0 A 8 A 8 8 A * A
* * A A * 0 8 A A *
/emel%antemente R &lgebra convencional+ tambm na &lgebra booleana possvel combinar vari&veis e
operadores para gerar comple(as e(presses algbricas que podem ser avaliadas. 6 valor da e(presso obtido
atribuindo-se valores Rs vari&veis e efetuando-se as operaes indicadas como na &lgebra convencional+ na
&lgebra booleana os par>nteses indicam a ordem de preced>ncia de avaliao dos termos!.
;or e(emplo+ a e(presso algbrica da &lgebra convencional!+ quando as vari&veis assumem os valores "MD+ 0MC
e .M9 $
6A H B7 C C / ?
Plano de Aula 01/2003 Prof. Abel Miranda Costa e-mail: Abelcosta@atarde.com.br
UFBA - DCC - MAT04 Processamento de Dados
5
"s e(presses da &lgebra booleana podem ser avaliadas de forma semel%ante. " diferena b&sica que suas
operaes so as operaes l%gicas e os valores a serem atribudos tanto R e(presso quanto Rs vari&veis!
alternam somente entre *verdadeiro* *! e *falso* 0!.
Tomemos como e(emplo uma e(presso simples+ como$
6A 45 B7 A3D 634T C7
que pode ser e(pressa como$
6A C B7+ C
e vamos determinar o valor da e(presso quando as vari&veis valem$
A / 0D B / *D C / *
;ara tanto+ efetuemos inicialmente a avaliao do primeiro termo entre par>nteses. Trata-se de uma operao 6:
e(ecutada entre duas vari&veis cu'os valores so " M A e 0 M 8. ?m e(ame da tabela verdade das operaes
lgicas indica que
0 45 * / *
)m seguida e(ecuta-se a operao -6T na vari&vel .+ e ainda conforme a mesma tabela$
34T * / 0
2inalmente e(ecuta-se a operao "-I envolvendo os dois resultados parciais.
* 45 0 / *
)ste o valor da e(presso para estes valores das vari&veis.
Plano de Aula 01/2003 Prof. Abel Miranda Costa e-mail: Abelcosta@atarde.com.br
UFBA - DCC - MAT04 Processamento de Dados
6
.onsiderando que na &lgebra booleana as vari&veis apenas podem assumir os valores 8 e A+ dada uma e(presso
relativamente simples construir uma tabela listando os valores assumidos pela e(presso para todas as
combinaes dos valores de suas vari&veis. )sta tabela denomina-se tabela verdade da e(presso. ;ara a
e(presso do e(emplo acima+ a tabela verdade seria$
A B C 6A 45 B7 A3D 634T C7
A A A A
A A 8 A
A 8 A 8
A 8 8 A
8 A A 8
8 A 8 A
8 8 A 8
8 8 8 A
"s regras b&sicas da &lgebra booleana so simples. "s operaes so apenas seis -6T+ "-I+ 6:+ -"-I+ -6:+
O6: e O-6:!. 6s valores possveis+ tanto para as vari&veis quanto para as e(presses+ so apenas dois 8 ou A!.
-o entanto+ e(presses obtidas combinando operaes que envolvem um grande n4mero de vari&veis podem
atingir um grau de comple(idade muito grande.
-o entanto+ sua avaliao sempre feita decompondo-se a e(presso em operaes elementares respeitando-se
a ordem de preced>ncia indicada pelos par>nteses+ avaliando as operaes elementares e combinando-se seu
resultado. " avaliao pode ser trabal%osa+ mas no difcil.
"ssim como a &lgebra convencional+ a &lgebra booleana tambm tem seus postulados que independem de
demonstrao! e suas identidades que podem ser derivadas dos anteriores!. 6s postulados de3nem a forma pela
qual as e(presses so interpretadas. 6s principais postulados e identidades da &lgebra booleana podem ser
resumidos no quadro abai(o+ arran'ado em colunas para evidenciar a nature,a complementar das operaes 6: e
"-I.
Postu!ados 9Bscos
" . 0 M 0 . " " Z 0 M 0 Z " Lei comutativa
" . 0 Z .! M " . 0! Z " . .! " Z 0 . .! M " Z 0! . " Z .! Lei distributiva
8 . "[ M " A Z " M " )lemento id>ntico
" . "[ M A " Z "[ M 8 )lemento inverso
Identdades der#adas
A . " M A 8 Z " M 8
" . " M " " Z " M "
" . 0 . .! M " . 0! . . " Z 0 Z .! M " Z 0! Z . Lei associativa
-6T " . 0! M "[ Z 0[ -6T " Z 0! M "[ . 0[ Teoremas de Ie#organ
)(perimente$ veri3que os postulados e identidades atribuindo os mesmos valores Rs vari&veis correspondentes
das e(presses de ambos os membros e compare os resultados. :epare que e(iste alguma analogia entre as
operaes "-I e 6: da &lgebra booleana e as operaes de multiplicao e adio da &lgebra convencional. #as
neste caso+ vale notar que esta analogia no se manifesta na lei distributiva e(pressa na coluna central.
)m princpio+ as bases da &lgebra booleana so as acima resumidas. "penas com estes con%ecimentos e
utili,ando-se as relaes e(pressas nos postulados+ identidades e teoremas para simpli3car e(presses mais
comple(as+ possvel determinar o valor de quaisquer e(presses da &lgebra booleana.
.om os con%ecimentos da &lgebra booleana+ podemos analisar todos os fenXmenos relativos R lgica digital que
rege as operaes internas dos computadores. 6 que nos falta agora um meio fsico de implementar os circuitos
eletrXnicos baseados nessa lgica.
Plano de Aula 01/2003 Prof. Abel Miranda Costa e-mail: Abelcosta@atarde.com.br
UFBA - DCC - MAT04 Processamento de Dados
7
E&uaes L%gicas 'Booleanas(
Iada uma vari&vel lgica+ possvel construir uma funo desta vari&vel+ $6A7+
)(emplo$
$6A7 / AE
isto + funo da vari&vel lgica A representa simplesmente a sua negao. .omo visto acima+ sua tabela-verdade
dada por usando-se n4meros bin&rios * e 0+ ao invs de % e F!.
A $6A7 / AE
A 8
8 A
Fuando se tem apenas *uma! vari&vel lgica+ como acima+ possvel construir @ funes+ a funo $* a prpria
negao\ a funo $. a identidade\ a funo $I vale sempre A e a funo $4 vale sempre 8.
A $*6A7 $.6A7 $I6A7 $46A7
A 8 A A 8
8 A 8 A 8
5e'a que+ para duas ou mais vari&veis+ o n4mero possvel de funes que podem ser construdas de 9
9n
+ onde n
o n4mero de vari&veis. ;ara duas vari&veis+ .
.+.
/ *> apenas *> possibilidades de construo de funes
lgicas de apenas . vari&veis!.
A B $0 $* $. $I $4 $? $> $J $K $L $*0 $** $*. $*I $*4 $*?
0 0 A A A A A A A A 8 8 8 8 8 8 8 8
0 * A A A A 8 8 8 8 A A A A 8 8 8 8
* 0 A A 8 8 A A 8 8 A A 8 8 A A 8 8
* * A 8 A 8 A 8 A 8 A 8 A 8 A 8 A 8
A "-I N"0 " N0" 0 O6: 6: -6: O-6: N0 0" N" "0 -"-I 8
;ara I vari&veis+ .
.+I
/ >4 funes possveis+ e assim por diante. -a tabela cima+ A e B so as #arB#es
nde(endentes e $6ADB7 so as #arB#es de(endentes+ con%ecidas por $un-es de #arB#es !gcas+
$un-es com9natoras ou+ ainda+ $un-es com9naconas.
" funo lgica $6ADB7 pode ser representada por uma ca'a (reta cu'o conte4do implementa um tipo de Porta
ou uma combinao das mesmas. ;or e(emplo+ para a tabela acima+ algumas funes so$
Funo $0 $* $. $I $4 $? $> $J $K $L $*0 $** $*. $*I $*4 $*?
Porta A "-I "[0 A 0[" B O6: 6: -6: O-6: BE 0" AE "0 -"-I 8

6 que aqui considerado como a ;orta 0 um circuito lgico que+ independente das entradas+ a sada sempre
,ero. " ;orta * segue o mesmo esquema+ isto + para quaisquer entradas+ a sada sempre 8. 6s smbolos AE e BE
caracteri,am as negaes+ ou inverses+ das vari&veis " e 0.
Fualquer circuito lgico pode ser considerado como uma cai(a preta como descrita acima. ;ara e(empli3car+ ve'a
como *encapsular* um circuito lgico em uma *cai(a preta*.
6bserve que o modelo ca'a (reta muito mais geral que o outro que '& est& especi3cado. 6 que se sabe do
modelo cai(a preta a quantidade de circuitos que podem ser gerados a partir de @ entradas e 8 sada. Fuantos
so mesmoG
Plano de Aula 01/2003 Prof. Abel Miranda Costa e-mail: Abelcosta@atarde.com.br

UFBA - DCC - MAT04 Processamento de Dados
8
Funo Combinacional
?ma funo combinacional uma soluo para um problema combinacional. .omo e(emplo de um problema
combinacional+ considere um sistema de segurana de uma lo'a em um s%opping. L& um sensor de contato que+
ligado+ on+ % ou *!+ indica que a porta est& fec%ada\ e outro sensor infravermel%o que+ ligado+ indica que no %&
pessoas ou coisas se movendo no interior da lo'a. L&+ tambm+ um alarme que acionado quando um dos dois
sensores desligado oM+ F ou 0!. Isto + basta um 4nico sensor ser desativado para soar o alarme. Ienomine
cada sensor pelos smbolos A e B+
A / 02ensor de contato0
B / 02ensor n$ra#erme!No0
;ara maior realismo+ supon%a que a fonte de energia do sistema se'a independente da rede eltrica no-brea]+ por
e(emplo!. " ta9e!a-#erdade para a funo alarme+ $6ADB7+ dada por$
A B $6ADB7
0 0 8
0 * 8
* 0 8
* * A
onde 0 e * signi3cam des!gado e !gado+ respectivamente.
" e,uao 9oo!eana para a funo alarme acima+ pode ser escrita da seguinte forma$
$6ADB7 / 6A+B7E
onde o smbolo *E* signi3ca a negao lgica+ e o smbolo *+* signi3ca a con'uno
A3D! lgica. /ua tabela-verdade construda da mesma maneira+
" funo alarme aqui tratada poderia ser especi3cada atravs do seguinte diagrama lgico+
isto + atravs da Porta Lgca 3A3D+ como veremos a seguir.
&'erc8cos
*+ Ind,ue (ara cada uma das sentenas a segur se a mesma 1 uma (ro(oso+ :ust@,ue+
a! ;arece que sei l& 1
b! Fuem sabe esta eu acerto G
c! ;or favor responda corretamente.
d! )sta frase no uma proposio.
e! Todas as sentenas anteriores so proposies.
f! -en%uma das sentenas anteriores so proposies.
g! 9( P CA.
.+ A(resente a negao de cada uma das (ro(os-es a segur)
a! Todos os alunos da ;6LI so inteligentes.
b! " proposio do item anterior verdadeira e esta proposio falsa.
c! p Nq! Np
Plano de Aula 01/2003 Prof. Abel Miranda Costa e-mail: Abelcosta@atarde.com.br
A B A+B 6A+B7E
0 0 A 8
0 * A 8
* 0 A 8
* * 8 A
UFBA - DCC - MAT04 Processamento de Dados 9
Aa9arto Comentado
*+ Ind,ue (ara cada uma das sentenas a segur se a mesma 1 uma (ro(oso+ :ust@,ue+
a! ;arece que sei l& 1 3o. < impossvel de3nir se 5 ou 2.
b! Fuem sabe esta eu acerto G 3o. -o uma a3rmao.
c! ;or favor responda corretamente. 3o. -o uma a3rmao.
d! )sta frase no uma proposio. 2m. ;ossui valor lgico de3nido no caso falso!
e! Todas as sentenas anteriores so proposies. 2m. ;ossui valor lgico de3nido no caso falso!
f! -en%uma das sentenas anteriores so proposies. 2m. ;ossui valor lgico de3nido no caso falso!
g! 9( P CA. 3o+ porque pode assumir valores lgicos diferentes+ dependendo do valor de (. trata-se de uma
funo proposicional!
.+ A(resente a negao de cada uma das (ro(os-es a segur)
a! Todos os alunos da ;6LI so inteligentes.
L& pelo menos um aluno na ;6LI que no inteligente.
b! " proposio do item anterior verdadeira e esta proposio falsa.
" proposio do item anterior falsa ou esta proposio verdadeira
Portas Lgicas Bsicas (Gates)
Porta Lgca ou Aate
/o dispositivos ou circuitos lgicos que operam um ou mais
sinais lgicos de entrada para produ,ir uma e somente uma!
sada+ a qual dependente da funo implementada no circuito.
?m computador constitudo de uma in3nidade de circuitos
lgicos+ que e(ecutam as seguintes funes b&sicas$
a! :eali,am operaes matem&ticas
b! .ontrolam o ^u(o dos sinais
c! "rma,enam dados
)(istem dois tipos de circuitos lgicos$
1. C4MBI3ACI43AL - a sada funo dos valores de
entrada correntes\ esses circuitos no t>m capacidade de arma,enamento _casos a e 9 acima`.
2. 2&FU&3CIAL - a sada funo dos valores de entrada correntes e dos valores de entrada no instante anterior\
usada para a construo de circuitos de memria c%amados *^ip-^ops* - caso c acima!\
Portas B)sicas
P45TA 34T 63O47
" ;orta -6T inverte o sinal de entrada e(ecuta a -)T"ab6 do sinal de entrada!+ ou
se'a+ se o sinal de entrada for A ela produ, uma sada 8+ se a entrada for 8 ela produ,
uma sada A.
P45TA A3D 6&7
" ;orta "-I combina dois ou mais sinais de entrada de forma equivalente a um circuito
em srie+ para produ,ir um 4nico sinal de sada+ ou se'a+ ela produ, uma sada 8+ se
todos os sinais de
entrada forem \ caso qualquer um dos sinais de entrada for A+ a ;orta "-I produ,ir& um
sinal de sada igual a ,ero.
P45TA 45 64U7
" ;orta 6: combina dois ou mais sinais de entrada de forma equivalente a um circuito em
paralelo+ para produ,ir um 4nico sinal de sada+ ou se'a+ ela produ, uma sada 8+ se
qualquer um dos sinais de entrada for igual a 8\ a ;orta 6: produ,ir& um sinal de sada
igual a ,ero apenas se todos os sinais de entrada forem A.
Plano de Aula 01/2003 Prof. Abel Miranda Costa e-mail: Abelcosta@atarde.com.br
UFBA - DCC - MAT04 Processamento de Dados 10
Portas !eri"adas
P45TA 3A3D 63O4 &7
" porta -"-I eqcivale a uma porta "-I seguida por uma porta -6T+ isto + ela produ,
uma sada que o inverso da sada produ,ida pela porta "-I.
P45TA 345 63O4 4U7
" ;orta -6: eqcivale a uma ;orta 6: seguida por uma ;orta -6T+ isto + ela produ, uma
sada que o inverso da sada produ,ida pela ;orta 6:.
P45TA <45 64U &<CLU2I%47
" ;orta O6: compara os bits\ ela produ, sada A quando todos os bits de entrada so iguais
e sada 8 quando pelo menos um dos bits de entrada diferente dos demais.
P45TA <345 634U &<CLU2I%47
" porta O-6: compara os bits\ ela produ, sada 8 quando todos os bits de entrada so
iguais e sada A quando pelo menos um dos bits de entrada diferente dos demais. <
tambm c%amada de )F?I5"Ld-.I".
Plano de Aula 01/2003 Prof. Abel Miranda Costa e-mail: Abelcosta@atarde.com.br
UFBA - DCC - MAT04 Processamento de Dados 11
Exemplo de circuitos utili*ando portas l%gicas
"! ?ma campain%a que toca sada! se o motorista der a partida no motor do carro entrada! sem estar com o cinto de
segurana a3velado entrada!.
/e a ignio for ".I6-"I" 8! e o cinto estiver I)/"2I5)L"I6 8!+ a campain%a ".I6-"I" 8!. .aso contr&rio+ a campain%a
no toca
0! Ietetor de inc>ndio com v&rios sensores entradas! e uma
campain%a para alarme sada!.
/e F?"LF?): ?# dos sensores for acionado signi3cando que um dos sensores detectou sinal de inc>ndio!+ a campain%a
".I6-"I".
.! )levador que s para no andar ;arada! se$
8! Fuando estiver descendo )levador I! e o boto descer 0oto I! estiver acionado
9! Fuando estiver subindo )levador /!e o boto subir 0oto /! estiver acionado
Tabela 5erdade$
Boto 2 Boto D &!e#ador 2 &!e#ador D Parada
A 8 A 8 8
A 8 8 A A
8 A 8 A 8
8 A A 8 A
Ucoisa de usu&rioW
* * 8 A 8
* * A 8 8
Plano de Aula 01/2003 Prof. Abel Miranda Costa e-mail: Abelcosta@atarde.com.br
Tabela Verdade:
Ignio Cinto
Campain
ha
0 0 0
0 1 0
1 0 0
1 1 1
Tabela verdade$
Sensor
1
Sensor
2
Campain
ha
0 0 0
0 1 1
1 0 1
UFBA - DCC - MAT04 Processamento de Dados 12
+epresentao de circuitos com as Funes ,A,! e ,+
?sando as propriedades apresentadas+ todo e qualquer circuito pode ser representado usando e(clusivamente as funo -"-I
ou as funo -6:.
;ara que serviria tal artiman%a+ alm da dor de cabea aos alunosG
L& neste caso uma ra,o maior que a comodidade ou a aparente di3culdade$ a ra,o econXmica. ;or diversas ra,es
construtivas+ 3ca mais barato construir T6I6/ os circuitos de um computador usando ";)-"/ ?# e-I.6 TI;6 I) .I:.?IT6.
"ceitando essa a3rmao+ vamos enfrentar a tarefa de representar os nossos circuitos '& con%ecidos usando apenas funes
-"-I ou os -6:.
a7 CI5CUIT4 I3%&5245
97 CI5CUIT4 A3D
c7 CI5CUIT4 45
Plano de Aula 01/2003 Prof. Abel Miranda Costa e-mail: Abelcosta@atarde.com.br
UFBA - DCC - MAT04 Processamento de Dados 13
Exerccios
8. 2aa as tabelas verdade para os seguintes diagramas$
a)
b)
9.
Iesen%e os diagramas lgicos para as seguintes tabelas verdade$
a7 A B 2 97 A B 2 c7 A B 2 d7 A B 2
A A A A A 8 A A 8 A A A
8 A 8 8 A 8 8 A A 8 A 8
A 8 A A 8 8 A 8 8 A 8 8
8 8 A 8 8 A 8 8 8 8 8 A
C. )screva a tabela verdade e a e(presso do circuito abai(o e simpli3que.
A B <
A A
8 A
A 8
8 8
6bservao$ )ste circuito implementa a funo O6:+ usando apenas portas -"-I.
0! #ostre utili,ando os operadores con%ecidos que $
.! " partir do Iiagrama ao lado+ construa a Tabela 5erdade$
A B C % 2
A A A
8 8 A
8 A 8
8 A A
A 8 8
A 8 A
A A 8
8 8 8
Apndice A
A(!cao da P!ge9ra de Boo!e aos Com(utadores Dgtas
0oole desenvolveu sua &lgebra a partir desses conceitos b&sicos e utili,ando apenas os algarismos A e 8.
Plano de Aula 01/2003 Prof. Abel Miranda Costa e-mail: Abelcosta@atarde.com.br
UFBA - DCC - MAT04 Processamento de Dados 14
6s primeiros computadores fabricados+ como o )-I".+ trabal%avam em I).I#"L. -o entanto+ a utili,ao de circuitos
eletrXnicos que operassem com 8A diferentes nveis de tenso para possibilitar detectar as 8A diferentes grande,as
representadas no sistema decimal! acarretavam uma grande comple(idade ao pro'eto e construo dos computadores+ tendo
por conseqc>ncia um custo muito elevado. /urgiu ento a idia de aplicar a &lgebra de 0oole+ simpli3cando e(tremamente o
pro'eto e construo dos computadores+ pelo fato de utili,ar somente um tipo de circuito.
-vel Lgico 8A
-vel Lgico B
-vel Lgico 8
-vel Lgico A -vel Lgico A
#as como os conceitos da &lgebra de c%aveamentos um ramo da &lgebra do 0oole! so aplicados ao pro'eto dos computadores
digitaisG
" c%ave de tudo um circuito eletrXnico c%amado .L"5) "?T6#STI.".
Como -unciona uma c.a"e autom)tica/
5amos imaginar um circuito c%aveador com as seguintes entradas$
- ?ma fonte de alimentao fornece energia para o circuito!
- ?m 3o de controle comanda a operao do circuito!
- ?m 3o de sada condu, o resultado!
-o desen%o+ a c%ave permanece aberta enquanto o sinal . no 3o de controle for A ou 2also!.
)nquanto no %ouver um sinal sinal 8 ou 5erdadeiro! no 3o de controle+ que mude a posio da
c%ave+ o sinal no 3o de sada / ser& A ou 2also!. Fuando for aplicado um sinal sinal 8 ou 5erdadeiro!
ao 3o de controle+ a c%ave muda de posio+ tendo como resultado que o sinal na sada ser& ento 8
ou 5erdadeiro!. " posio da c%ave se manter& enquanto no ocorrer um novo sinal na entrada.
" c%ave autom&tica foi inicialmente implementada com rels eletromecfnicos e depois com v&lvulas
eletrXnicas. " partir da metade da dcada de BA+ passaram a ser utili,ados dispositivos em estado
slido - os T:"-/I/T6:)/+ inventados em /tanford em 8D@7. 6s modernos .ircuitos Integrados - .I[s
e os microprocessadores so implementados com mil%es de transistores *impressos* em min4sculas
pastil%as.
5amos agora analisar o que ocorreria se ns lig&ssemos em /<:I) duas c%aves autom&ticas como as
acima+ e lig&ssemos uma lfmpada ao circuito. 6 circuito resultante poderia ser representado assim$
" lfmpada acenderia /) - e somente se - as I?"/ c%aves estivessem na posio LIT"I6 ou verdadeiro!+ o que seria
conseguido com as duas entradas " e 0 em estado 8 5erdadeiro!. /ubstituindo .6::)-T) ou c%ave ligada! por 8 e "?/d-.I"
I) .6::)-T) ou c%ave desligada! por A+ como 3caria nossa tabela verdade para Lg#;"I" LIT"I" M 8 e Lg#;"I"
I)/LIT"I" M AG
A B L
A A A
A 8 A
8 A A
8 8 8
I& para recon%ecer a nossa '& familiar 2?-ab6 )G
6 circuito acima que implementa a funo ) c%amado de ;6:T" ) %&' (%T)!.
Plano de Aula 01/2003 Prof. Abel Miranda Costa e-mail: Abelcosta@atarde.com.br
UFBA - DCC - MAT04 Processamento de Dados 15
5amos agora analisar o que ocorreria se ns lig&ssemos em ;":"L)L6 duas c%aves autom&ticas como as acima+ e lig&ssemos
uma lfmpada ao circuito. 6 circuito resultante poderia ser representado assim$
" lfmpada acenderia /) F?"LF?): ?#" I"/-.L"5)/ estivesse na posio LIT"I6 ou verdadeiro!+ o que seria conseguido
com uma das duas entradas " ou 0 em estado 8 5erdadeiro!. /ubstituindo .6::)-T) ou c%ave ligada! por 8 e "us>ncia de
.orrente ou c%ave desligada! por A+ como 3caria nossa tabela verdade para Lfmpada LIT"I" M 8 e Lfmpada I)/LIT"I" M AG
A B L
A A A
A 8 8
8 A 8
8 8 8
) agora+ d& para recon%ecer a nossa '& familiar 2?-ab6 6? G
6 circuito acima+ que implementa a funo 6?+ c%amado de ;6:T" 6? #* (ate!.
Bibliogra0a Auxiliar
C. F?I-)+ 6. 4 2entdo da 3o#a Lgca. /o ;aulo+ )ditora da ?/;+ 8D@9.
@. T:I)/+ I. TNe 2cence o$ Programmng. -eJ hor]+ T%e #IT ;ress+ 8DEH.
B. L)"L+ #aria Leonor de #. /. MatemBtca na Com(utao. :io de =aneiro+ )d. /enac -acional+ 8DDD
Plano de Aula 01/2003 Prof. Abel Miranda Costa e-mail: Abelcosta@atarde.com.br