Você está na página 1de 25

Curso de Anlise e

Desenvolvimento de Sistemas







Lgica para Computao

(material de apoio para a disciplina)





Prof Rejane Frozza
email: rejanefrozza@gmail.com





Porto Alegre, 2011.
Lgica para Computao 2011



Material de Apoio 2




Sumrio

I INTRODUO LGICA ........................................................................................................... 3
II - LGEBRA DE VARIVEIS LGICAS (LGEBRA DE BOOLE) ............................................ 7
III - CIRCUITOS LGICOS ....................................................................................................................9
IV DIAGRAMAS DE VENN (CRCULOS DE EULER) ................................................................10
V - IMPLEMENTAO DE SISTEMAS LGICOS ....................................................................... 11
VI - OPERAES LGICAS SOBRE PROPOSIES ................................................................. 12
VII - TABELAS-VERDADE PARA PROPOSIES COMPOSTAS ............................................. 14
VIII - RELAES DE IMPLICAO E DE EQUIVALNCIA .................................................... 15
IX - ARGUMENTO VLIDO ........................................................................................................... 17
X - PORTAS LGICAS ..................................................................................................................... 19
XI - TEOREMAS DA LGEBRA DE BOOLE ................................................................................. 20
XII - FORMAS PADRO DAS FUNES LGICAS .................................................................... 21
XIII - MAPAS DE KARNAUGH ..................................................................................................... 24

















Observao: Este material serve de apoio s aulas, portanto, o estudo deve ser
complementado com as bibliografias da disciplina e com o exposto em sala de
aula.
Lgica para Computao 2011



Material de Apoio 3



I INTRODUO LGICA

O que a Lgica?
Lgica a cincia que permite formalizar situaes atravs do raciocnio ou do pensamento
lgico.

Para que serve?
Permite modelar um determinado problema ou situao, expressando-o atravs de um conjunto
finito de sentenas (que expressamo problema real) lgicas.











I .1 Estrutura de um Argumento

A lgica estuda os argumentos. Umargumento uma seqncia de enunciados na qual umdos
enunciados a concluso e os demais so as premissas. As premissas servem para provar ou
fornecer alguma evidncia para a concluso.
Exemplo:
Todo programa emPascal padro umprograma estruturado. (enunciado ou proposio)
X umprograma emPascal padro. (enunciado ou proposio)
Portanto, X umprograma estruturado. (enunciado ou proposio)

As premissas e a concluso de umargumento so sempre enunciados ou proposies, isto , so
idias expressas por sentenas declarativas afirmativas ou negativas.
Exemplos:
Premissa1: Ana mais velha que Maria. (enunciado ou proposio)
Premissa2: Maria mais velha que Luiza. (enunciado ou proposio)
Concluso: Portanto, Ana mais velha que a Luiza. (enunciado ou proposio)

Premissa1: Todos os homens so mortais.
Premissa2: Scrates homem.
Concluso: Portanto, ________________.

Premissa1: Todos os mamferos so animais.
Premissa2: Todos os elefantes so mamferos.
Premissa3: Susi umelefante.
Premissa4: Todos os tubares so animais.
Premissa5: Bonnie umtubaro.
Concluso: Portanto, ________________.
Concluso: Portanto, ________________.

Premissa1: Todo nmero natural real.
Premissa2: O nmero 2 natural.
Concluso: Portanto, __________________.
Interpretao e
Verificao dos
Resultados
(3)
Construo do Modelo
(1)
Anlise
(2)
Mundo
Real
Lgica
(teoria matemtica)
Resultados
Matemticos
argumento
Lgica para Computao 2011



Material de Apoio 4

Premissa1: Todos os que ocupameste departamento so farmacuticos.
Premissa2: Arajo ocupa este departamento.
Concluso: Portanto, __________________.

Os no-enunciados, tais como interrogaes, comandos ou exclamaes no so afirmativos
nemnegativos.
Alguns argumentos se originampor etapas: uma concluso inferida de um conjunto de
premissas, ento, essa concluso usada como uma premissa para inferir uma concluso
adicional, a qual, por sua vez, pode funcionar como uma premissa para uma outra concluso e
assimpor diante. Esta estrutura chama-se ARGUMENTO COMPLEXO.
As premissas que servem como concluses de premissas anteriores chamam-se premissas no-
bsicas ou concluses intermedirias. As premissas que no so concluses de premissas
anteriores chamam-se premissas bsicas.
Exemplo:
Todos os nmeros racionais podemser expressos como quocientes de dois inteiros. Contudo, t
no pode ser expresso como quociente de dois inteiros. Portanto, t no umnmero racional.
Evidentemente, t umnmero. Logo, existe pelo menos umnmero no-racional.








I .2 I dentificando os Argumentos

Umargumento ocorre quando se quer provar uma concluso, a partir de umconjunto de
premissas. Esse propsito expresso pelo uso de INDICADORES DE INFERNCIA, que so
palavras utilizadas para assinalar a presena de umargumento.
H dois tipos de indicadores de inferncia:
- Indicadores de concluso: assinalamque a sentena que os contm uma concluso de
premissas anteriores. Exemplos: portanto, assim, dessa maneira, neste caso, da, logo, ento,
de modo que, entre outros.
- Indicadores de premissa: assinalam que a sentena que os contm uma premissa.
Exemplos: pois, desde que, como, porque, visto que, supondo que, em vista de, entre outros.
Exemplos:
Est chovendo; portanto, a rua est molhada. (indicador de concluso)
Premissa: Est chovendo.
Concluso: A rua est molhada.

Est chovendo, pois a rua est molhada. (indicador de premissa)
Premissa: A rua est molhada.
Concluso: Est chovendo.

Ele no est emcasa; logo, ele foi passear. (indicador de ___________)
Premissa: ___________________.
Concluso: __________________.
Lgica para Computao 2011



Material de Apoio 5

Ele no est emcasa, porque ele foi passear. (indicador de __________)
Premissa: ___________________.
Concluso: __________________.

I .3 Diagramas de Argumento

Os diagramas de argumento so usados para representar as estruturas inferenciais dos
argumentos de forma grfica.
Exemplos:
1[Hoje tera-feira ou quarta-feira.] Mas 2[no pode ser quarta-feira], pois 3[o consultrio do
mdico estava aberto esta manh,] e 4[aquele consultrio est sempre fechado s quartas.]
Portanto, 5[hoje tera-feira.]
pois ->indicador de premissa
portanto ->indicador de concluso

Forma padro:
O consultrio do mdico estava aberto esta manh.
Aquele consultrio est sempre fechado s quartas.
No pode ser quarta-feira.
Hoje tera-feira ou quarta-feira.
Hoje tera-feira.

3 +4 (1,3,4 =premissa bsica)
+
1 +2 (2 =premissa no-bsica)
+
5 (5 =concluso final)

Portanto, 3 junto com 4 justificativa para 2, o qual junto com1 justificativa para 5.

O cheque perder a validade a menos que ele seja descontado dentro de 30 dias. O cheque est
datado de 2 de Setembro e hoje 8 de Outubro. Portanto, o cheque no vale mais. Voc no
pode descontar umcheque que no vale. Assim, voc no pode descontar este cheque.



















Lgica para Computao 2011



Material de Apoio 6

I .4 Lgica formal X Lgica informal
A lgica pode ser estudada sob dois aspectos:

- Lgica informal: o estudo de argumentos especficos em linguagem natural. uma anlise
prtica de argumentos.
Exemplo:
No posso ajud-lo se eu no souber o que est errado.
Eu no sei o que est errado.
Eu no posso ajud-lo.

- Lgica formal: estuda as FORMAS do argumento, modelos abstratos que so comuns a
argumentos distintos. A partir de modelos com sentenas abstratas, pode-se construir
sentenas concretas.
Exemplos:

Sentena Abstrata Sentenas Concretas Obs
Se P, ento Q
P (premissa)
Q (concluso)
Se est chovendo, ento a rua est molhada.
Est chovendo.
A rua est molhada.

Se o aluno estudar, ento ser aprovado na disciplina.

Se o time da cidade vencer o jogo, ento haver um
dia de festa.
Argumentos
diferentes para a
mesma sentena
abstrata, para a mesma
FORMA.
Se no P, ento no Q
No P (premissa)
No Q (concluso)
Se a rua no est molhada, ento no est chovendo.
A rua no est molhada.
No est chovendo.
Argumento especfico

A Lgica Proposicional um tipo de lgica formal.

Exemplo 1:

Sentena Abstrata

P ou no P. Csar pesa mais de 60 kg ou Csar no
pesa mais de 60 kg.

Exemplo 2:

Argumento Forma para o Argumento

Ele menor de 18 anos ou ele jovem.
Ele no menor de 18 anos.
Ele jovem.

Esta regra a forma do argumento conhecida como SILOGISMO DISJUNTIVO. As letras P e Q
representam sentenas declarativas e so chamadas de LETRAS SENTENCIAIS. Um argumento obtido
pela substituio das letras chamado de INSTNCIA DA FORMA.

Combinando sentenas simples entre si, pode-se obter sentenas compostas atravs do uso dos
operadores lgicos ou conectivos lgicos:

(a) No: negao
(b) E: uma sentena composta, constituda por sentenas simples, ligadas por E, chama-se
CONJ UNO.
INSTNCIA
Lgica para Computao 2011



Material de Apoio 7

(c) OU: uma sentena composta, constituda por sentenas simples, ligadas por OU, chama-se
DISJ UNO.
(d) SE...ENTO: so enunciados chamados CONDICIONAIS.
(e) SE E SOMENTE SE: so enunciados chamados BICONDICIONAIS.

Para facilitar o reconhecimento e a comparao de formas de argumento, cada operador lgico
representado por umsmbolo especial:

OPERADOR LGICO SMBOLO SENTENA ABSTRATA
Negao (no) ~, , , ' ~P
Conjuno (e) ., -, & (P . Q)
Disjuno (ou) v, +, | (P v Q)
Condicional (Se...ento) , (P Q)
Bicondicional (Se e somente se) , (P Q)

Usa-se o smbolo | (trao se assero) em vez de , afirmando que o que est a sua direita pode ser
deduzido utilizando o que est a esquerda.

I .5 Frmula
Uma frmula uma seqncia qualquer de elementos do vocabulrio da lgica (letras sentenciais,
operadores lgicos e parnteses).
Estas seqncias devem ter um sentido e, para isso, trabalha-se com o conceito de FRMULA BEM
FORMADA (Well-Formed Formula) WFF. Este conceito definido pelas seguintes regras de
formao.

1. Qualquer letra sentencial uma WFF.
2. Se o uma WFF, ento ~o tambm .
3. Se o e | so WFFs, ento (o.|), (ov|), (o|) e (o|) tambmso.


II - LGEBRA DE VARIVEIS LGICAS (lgebra de Boole)

A lgebra de Boole (Booleana) ummodelo matemtico para tratamento de variveis lgicas.
Varivel: capaz de assumir umentre um conjunto de valores. Este conjunto de valores o
campo da varivel.
Exemplo:
varivel X campo dos reais
varivel Y campo dos naturais
varivel Z campo {carro, amarelo, casa}

Funo: uma relao que determina o valor de uma varivel (varivel dependente) a partir de
uma ou mais variveis (variveis independentes).
Exemplo: y =x +3 - z Representao: y =F(x,z)
x ={0,1}
z ={1,2}


x z y
0
1
2
3
4
6
7
0
1
1
1 2


Lgica para Computao 2011



Material de Apoio 8

II.1 - Variveis Lgicas

Varivel lgica (booleana) uma varivel que:
- s pode assumir umde dois valores possveis;
- os valores so expressos por sentenas no ambguas;
- os valores devem ser mutuamente exclusivos (no ser umimplica emser o outro).
Exerccio:
Represente as sentenas do texto emvariveis lgicas, identificando a varivel dependente e as
independentes:
1. O aluno ser aprovado na disciplina se estudar e fizer os exerccios, ou estudar e tirar a
mdia na prova.
2. J oo conseguir o emprego se passar no teste e tiver bom currculo, ou for indicado por
algum.

II.2 - Funes Lgicas

Uma funo lgica uma regra que determina o valor de uma varivel lgica dependente a
partir de uma ou mais variveis lgicas independentes.
SejamF, A, B variveis lgicas, define-se como funes lgicas bsicas:

(a) Funo AND/E (conjuno, produto lgico)

Representao: F =A AND B
F =A . B
F =A . B
Significado: a funo ser verdadeira se todas as variveis independentes forem
verdadeiras. Neste caso, se A e B foremverdadeiras.

Tabela-verdade:

A B F =A AND B
F F F
F V F
V F F
V V V

Onde: F =falso e V =verdadeiro

Exemplo:
A =Fernando cursa computao
B =Fernando temumcarro
Fernando cursa computao e temum carro.
Fernando cursa matemtica e temumcarro.
Fernando cursa computao e temuma bicicleta.
Fernando cursa matemtica e temuma bicicleta.

Propriedades da funo AND

- comutativa: se A e B tiveremsua ordem invertida, a funo F no se altera (mantm
seu valor).
F =A . B =B . A
Lgica para Computao 2011



Material de Apoio 9

- associativa: suponhamos que existamtrs variveis lgicas A, B, C e que formemos,
em primeiro lugar, o produto lgico (A.B). Como este produto uma varivel lgica,
podemos formar seu produto lgico comC, obtendo (A.B).C
Se formssemos, primeiro, o produto (B.C), poderamos a seguir obter A.(B.C)
Ento: F =(A.B).C =A.(B.C) =(A.C).B


(b) Funo OR/OU (disjuno, soma lgica)

Representao: F =A OR B
F =A +B
F =A v B
Significado: a funo ser verdadeira se pelo menos uma das variveis independentes
for verdadeira ou as duas foremverdadeiras.
Tabela-verdade:

A B F =A OR B
F F F
F V V
V F V
V V V
Exemplo:
A =Clia advogada
B =Clia temumapartamento
Clia advogada ou temumapartamento.
Clia dentista ou temumapartamento.
Clia advogada ou temuma casa.
Clia dentista ou temuma casa.

A funo OR comutativa e associativa.

(c) Funo NOT/NO (negao)

Representao: F =
F =A'
Significado: funo unria (de uma varivel) que verdadeira se a varivel
independente for falsa.
Tabela-verdade:

A F =
F V
V F

As funes AND e OR tma propriedade da distributividade:
AND: A +(B.C) =(A+B).(A+C)
OR: A.(B+C) =(A.B)+(A.C)








Lgica para Computao 2011



Material de Apoio 10

III CIRCUITOS LGICOS

As funes booleanas podemser representadas por circuitos emsrie ou emparalelo.

Aberto: a = 0

Fechado: a = 1

Circuitos Ligados em Paralelo: s passar corrente se pelo menos um dos interruptores estiver
fechado apresentar estado 1.


a + b (OR)






As chaves a e b so representadas por variveis lgicas.

Circuitos Ligados em Srie: s passar corrente se ambos os interruptores estiverem fechados
apresentaremestado 1.
a . b (AND)




IV DIAGRAMAS DE VENN (CRCULOS DE EULER)

Forma geomtrica capaz de representar funes lgicas.
Sero utilizados para representao de at trs variveis lgicas.
1. Para uma varivel:







2. Para duas variveis:












a
a
a
b
a b
A
A
A.B
A

B
AB
Lgica para Computao 2011



Material de Apoio 11


3. Para trs variveis:


V - IMPLEMENTAO DE SISTEMAS LGICOS

Construir sistemas que executemoperaes lgicas como, por exemplo, deduzir alguma falha.
Exemplo:
Construir uma mquina que executa a operao lgica de constatar que umavio est sem
piloto, atravs de uma funo que toque um alarme. A mquina consiste de duas chaves,
colocadas nos assentos dos dois pilotos do avio, de modo que o alarme toque quando umpiloto
deixar sua poltrona semque o outro piloto tenha retornado.

Caso 1: o avio temdois pilotos, mas deve ser pilotado pelo menos por umdeles.

chave 1 chave 2
alarme
chave 1, chave 2 =assentos do piloto
chave aberta =piloto est no assento
chave fechada =piloto no est no assento


Circuito emsrie =as duas chaves devemestar fechadas para que o alarme toque.

- Varivel lgica A A =0 (F) piloto est sentado
A =1 (V) piloto no est sentado
- Varivel lgica B B =0 (F) piloto est sentado
B =1 (V) piloto no est sentado

Funo =A . B Tabela-verdade:
A B A . B
F
V
V
V
V V
F
F
F
F
F
F
(os dois pilotos sentados)
(um piloto sentado)
(um piloto sentado)
(o alarme toca)








A.B.C



B
A
C
Lgica para Computao 2011



Material de Apoio 12

Caso 2: o avio temdois pilotos, mas deve ser pilotado pelos dois juntos.

chave 1, chave 2 =assentos do piloto
chave aberta =piloto est no assento
chave fechada =piloto no est no assento
chave 1
chave 2
alarme


Circuito em paralelo =se uma das chaves estiver fechada, o alarme toque (basta um piloto
levantar).
- Varivel lgica A A =0 (F) piloto est sentado
A =1 (V) piloto no est sentado
- Varivel lgica B B =0 (F) piloto est sentado
B =1 (V) piloto no est sentado

Funo =A+B Tabela-verdade:
A B A+B
F
V
V
V
V V
F
F
F
F (os dois pilotos sentados)
(o alarme toca)
(o alarme toca)
(o alarme toca) V
V



VI - OPERAES LGICAS SOBRE PROPOSIES

VI.1 - Disjuno Exclusiva (OR exclusivo = XOR)

Relembrando...
Na disjuno inclusiva (OR), a funo ser verdadeira quando pelo menos uma das
proposies for verdadeira ou ambas foremverdadeiras.
Exemplo:
P : J oo estudante
Q : J oo mecnico
J oo estudante ou mecnico verdadeiro
J oo estudante e mecnico verdadeiro
Neste caso...
Na disjuno exclusiva (XOR), a funo ser verdadeira somente quando uma das
proposies for verdadeira e ser falsa quando ambas proposies forem verdadeiras ou ambas
foremfalsas.
Representao: F =A B

Tabela-verdade:

A B F =A XOR B
F F F A=B Funo =falsa
F V V A=B Funo =verdadeira
V F V A=B Funo =verdadeira
V V F A=B Funo =falsa

XOR "A ou B, mas no ambas"


Lgica para Computao 2011



Material de Apoio 13

Exemplo:
A =Clia advogada
B =Clia temumapartamento
Clia advogada ou temumapartamento, mas no ambas.
Clia dentista ou temumapartamento, mas no ambas.
Clia advogada ou temuma casa, mas no ambas.
Clia dentista ou temuma casa, mas no ambas.

VI.2 - Funo Condicional ()

Representao: F =A B (Se A Ento B -------->Se <condio>Ento <ao>)

Significado: a funo ser falsa apenas quando a proposio A for verdadeira e a
proposio B for falsa. Nos demais casos, a funo ser verdadeira.

Tabela-verdade:

A B F =A B
F F V
F V V
V F F
V V V

Exemplo:
A: caneta
B: azul
Se caneta Ento azul.
Se caneta Ento vermelha.
Se lpis Ento azul.
Se lpis Ento vermelho.

VI.3 - Funo Bicondicional ( )

Representao: F =A B (A se e somente se B =se A ento B e se B ento A )

Significado: a funo ser verdadeira apenas quando os valores das proposies A e B
forem iguais (A =B). Quando os valores das proposies forem diferentes (A = B), a funo
ser falsa.

Tabela-verdade:

A B
F =A B
F F V
F V F
V F F
V V V
Exemplo:
A: caneta
B: azul
caneta se e somente se azul.
lpis se e somente se vermelho.
caneta se e somente se vermelha.
lpis se e somente se azul.


Lgica para Computao 2011



Material de Apoio 14

Ordemde precedncia entre as operaes lgicas estudadas:
Primeira: negao (~)
Segunda: E e OU ( . e +)
Terceira: condicional ()
Quarta: bicondicional ()

Esta ordem de precedncia entre os conectivos permite a identificao da forma da proposio
composta:
(a) p q r : forma bicondicional
(b) p +q' q . r : forma condicional
(c) p +(q' q . r) : forma disjuntiva


VII - TABELAS-VERDADE PARA PROPOSIES COMPOSTAS

Para construir a tabela-verdade de proposies compostas, segue-se os seguintes passos:
(a) determinar o nmero de linhas da tabela-verdade;
(b) observar a precedncia entre os conectivos lgicos;
(c) aplicar as operaes lgicas que o problema exigir.

Exemplos:

Construir a tabela-verdade para as seguintes proposies:

1. P (p,q) =(p . q)' +(q p)'

p q (p . q) (p . q)' (q p) (q p)' (p . q)' +(q p)'
0 0 0 1 1 0 1
0 1 0 1 0 1 1
1 0 0 1 0 1 1
1 1 1 0 1 0 0

P(0,0) =1
P(0,1) =1 ou P(00,01,10,11) =1110
P(1,0) =1
P(1,1) =0
2. P (p,q,r) =(p q) . (q r) (p r)

p q r (p q) (q r) (p r) (p q) . (q r) (p q) . (q r) (p r)
0 0 0 1 1 1 1 1
0 0 1 1 1 1 1 1
0 1 0 1 0 1 0 1
0 1 1 1 1 1 1 1
1 0 0 0 1 0 0 1
1 0 1 0 1 1 0 1
1 1 0 1 0 0 0 1
1 1 1 1 1 1 1 1

P(000,001,010,011,100,101,110,111) =11111111




Lgica para Computao 2011



Material de Apoio 15

Quando o valor lgico da resposta de uma proposio composta for sempre:
- Verdade (1) =Tautologia
- Falsidade (0) =Contradio
- 0 ou 1 =Contingncia ou Indeterminao

VIII - RELAES DE IMPLICAO E DE EQUIVALNCIA

1. Relao de Implicao

Representao : A B

Significado : uma proposio A implica uma proposio B quando os valores lgicos
que tornama proposio A verdadeira tambmtornama proposio B verdadeira. E quando
nunca ocorre o caso em que A verdadeira e B falsa (10 ).

Exemplo:
(a) Verificar se p (q p)

p q q p
0 0 1 01
0 1 0 00
1 0 1 11
1 1 1 11

Ento: p implica (q p)

(b) Mostre que (a b) a implica a.

a b (a b) (a b) a
0 0 1 0 00
0 1 1 0 00
1 0 0 1 11
1 1 1 1 11

Ento : (a b) a a

2. Relao de Equivalncia

Representao : A B
Significado : uma proposio A equivale a uma proposio B quando as suas tabelas-
verdade foremiguais. E quando nunca ocorremos casos 10 e 01 na mesma linha.

Exemplo:
(a) (a b) equivalente a (a b).(b a)

a b (a b) (a b) (b a) (a b).(b a)
0 0 1 1 1 1
0 1 0 1 0 0
1 0 0 0 1 0
1 1 1 1 1 1

Logo : so equivalentes

Lgica para Computao 2011



Material de Apoio 16

(b) Verificar se (p.q) (p' +q' )'

p q p' q' (p.q) (p' +q' ) (p' +q' )'
0 0 1 1 0 1 0
0 1 1 0 0 1 0
1 0 0 1 0 1 0
1 1 0 0 1 0 1

Logo : so equivalentes

2.1 - Exemplos de Relaes que so Equivalentes

(a) Dupla negao
(p' )' p

(b) Leis idempotentes
p +p p
p . p p

(c) Leis Comutativas
p +q q +p
p . q q . p

(d) Leis Associativas
p +(q +r) (p +q) +r
p . (q . r) (p . q) . r

(e) Leis de Morgan
(p . q)' p' +q' -----> a negao de umproduto de variveis igual a soma das
negaes de cada varivel
(p +q)' p' . q' ------>a negao da soma de variveis igual ao produto das
negaes de cada varivel

(f) Leis Distributivas
p . (q +r) (p . q) +(p . r)
p +(q . r) (p +q) . (p +r)

(g) Bicondicional
p q (p q) . (q p)

(h) Condicionais
p q (condicional)
q p (recproca do condicional)
q' p' (contrapositivo)
p' q' (recproca do contrapositivo)

Equivalncias :
(p q) (q' p' )
(q p) (p' q')


Lgica para Computao 2011



Material de Apoio 17

IX - ARGUMENTO VLIDO
Chama-se argumento vlido toda a seqncia de proposies P
1
, P
2
, ... , P
n+1
, tal que a
conjuno das "n" primeiras implica a ltima, isto :
P
1
. P
2
. P
3
. P
4
. ..... . P
n
P
n+1


Onde :
P
1
, P
2
, P
3
, P
4
, ..... , P
n
so as "premissas" e P
n+1
a "concluso" .

O argumento falho se, nessas condies, no houver implicao, isto :
P
1
. P
2
. P
3
. P
4
. ..... . P
n
no implica P
n+1


Para testar a validade de umargumento, procede-se da seguinte forma:
(a) constri-se a tabela verdade de P
1
. P
2
. P
3
. P
4
. ..... . P
n

(b) constri-se a tabela verdade de P
n+1

(c) compara-se as tabelas
--->se no houver implicao : o argumento falho
--->se houver implicao : o argumento vlido

Regras que so argumentos vlidos
1. Unio (U)
p
q a implicao : (p . q) (p +q)
p +q

2. Modus Ponens (MP)
p q
p a implicao : (p q) . p q
q

3. Modus Tolens (MT)
p q
q' a implicao : (p q) . q' p'
p'

4. Adio (A)
p
p +q a implicao : p p +q

5. Simplificao (S)
p
q a implicao : (p . q) p
p

6. Silogismo Hipottico (SH)
p q
q r a implicao : (p q) . (q r) (p r)
p r

7. Silogismo Disjuntivo (SD)
p +q
p' a implicao : (p +q) . p' q
q

Lgica para Computao 2011



Material de Apoio 18

8. Regras do Bicondicional (BIC)
p q
q p a implicao : (p q) . (q p) (p q)
p q

p q
(p q) . (q p) a implicao : p q (p q) . (q p)

9. Dilema Construtivo (DC)
p q
r s
p +r a implicao : (p q) . (r s) . (p +r) (q +s)
q +s

10. Dilema Destrutivo (DD)
p q
r s
q' +s' a implicao : (p q) . (r s) . (q' +s') (p' +r')
p' +r'

11. Dupla Negao (DN)
(p')' ou p
p (p')' a implicao : (p')' p ou p (p')'

12. Regra da Absoro (RA)
p q
p (p . q) a implicao : p q p (p . q)

13. Simplificao Disjuntiva (S+)
p +r
p +r' a implicao : (p +r) . (p +r') p
p

Sugesto:
Monte as tabelas-verdade de cada uma das regras de implicao acima para exercitar e
provar sua validade.

Exemplos:

1. X umprograma emPascal
X umprograma estruturado
X umprograma emPascal ou umprograma estruturado
X umprograma emPascal e umprograma estruturado

2. Se X umprograma emPascal, Ento X umprograma estruturado
X umprograma emPascal
X umprograma estruturado

3. Se X umprograma emPascal, Ento X umprograma estruturado
X no umprograma estruturado
X no umprograma emPascal


Lgica para Computao 2011



Material de Apoio 19

6. Se X umprograma emPascal, Ento X umprograma estruturado
Se X umprograma estruturado, Ento X umprograma emlinguagemde alto nvel
Se X umprograma emPascal, Ento X umprograma emlinguagemde alto nvel

7. X umprograma emPascal ou X umprograma estruturado
X no umprograma emPascal
X umprograma estruturado

9. Se X umprograma emPascal, Ento X umprograma estruturado
Se P umprograma dividido em funes, Ento P umprograma modular
X umprograma emPascal ou P umprograma dividido emfunes
X umprograma estruturado ou P umprograma modular

11. No o caso que X no umprograma emPascal
X umprograma em Pascal


X - PORTAS LGICAS

Porta lgica a representao grfica das funes booleanas/lgicas e constitui a base para a
construo de circuitos lgicos. Cada porta lgica pode ter diferentes entradas, porm, somente
uma sada.

NOME FUNO REPRESENTAO
Negao


x =a'
AND (e)


x =a . b
OR (ou)


x =a +b
NAND (negao - e)


x =(a . b)'
NOR (negao - ou)


x =(a +b)'
NAND (comuma entrada invertida)


x =(a' . b)'
NOR (comuma entrada invertida)


x =(a' +b)'
XOR (ou exclusivo)


x =a b






Lgica para Computao 2011



Material de Apoio 20

Exemplos :

1. Determinar o circuito lgico correspondente funo: z =(a . b') +(a . b)




2. Determinar a funo correspondente ao circuito lgico a seguir :



Funo :

3. Determinar o circuito lgico correspondente rea hachurada no diagrama de Venn:




XI - TEOREMAS DA LGEBRA DE BOOLE

XI.1 - Teoremas Bsicos

A , B , C =variveis lgicas

AND OR
Teorema 1 (A')' =A (A')' =A
Teorema 2 A . 1 =A A +1 =1
Teorema 3 A . 0 =0 A +0 =A
Teorema 4 A . A =A A +A =A
Teorema 5 A . A' =0 A +A' =1
Teorema 6 A . (A +B) =A A +(A . B) =A
Teorema 7 (A +B) . (A +B') =A A . B +A . B' =A
Teorema 8 A . (A' +B) =AB A +(A' . B) =A +B
Teorema 9 A +(B . C) =(A +B) . (A +C) A . (B +C) =AB +AC
Teorema 10 (A . B)' =A' +B' (A +B)' =A' . B'
Teorema 11 A . B =B . A A +B =B +A


XI.2 - Relao entre Operaes

As operaes lgicas podem ser expressas usando-se apenas as funes AND e OR e a operao
de complemento NOT.
1. (A B)' =A . B'
2. (B A)' =A' . B
3. A B =A' +B
4. B A =A +B'
5. A B =A.B' +A'.B
6. (A B)' =A'.B' +A.B
7. (A B) =(A B). (B A)




Lgica para Computao 2011



Material de Apoio 21


XI.3 - Suficincia das Operaes

As operaes AND, OR, NOT so suficientes para expressar qualquer funo lgica. Alm
disso, podemos expressar a funo AND emtermos de OR e NOT, ou a funo OR emtermos de
AND e NOT.
1. A . B =(A' +B')'
2. A +B =(A'.B')'

XI.4 Simplificao de Funes Lgicas

a aplicao dos teoremas da lgebra de Boole sobre as expresses lgicas.

XII - FORMAS PADRO DAS FUNES LGICAS

sempre possvel expressar uma funo lgica utilizando-se as operaes elementares AND,
OR e NOT. Com o objetivo de otimizar o desempenho dos circuitos que executam estas funes
lgicas, diminui-se, ao mximo, a expresso matemtica de sua funo, mantendo a
equivalncia na tabela-verdade.
A seguir, so apresentadas duas formas padro nas quais as funes lgicas podem ser
expressas.

1. Soma Padro de Produtos (Mintermos)

Exemplo1: Dada a funo lgica de 4 variveis : F(a,b,c,d) =(a' +bc).(b +c'd)
Expressar a funo como uma soma de produtos :
F =(a' +bc).(b +c'd)
F =a'b +a'c'd +bcb +bcc'd ---->distributividade
bcb =bc ------>b.b =b
bcc'd =0 ------>c.c' =0
F =a'b +a'c'd +bc

"F" uma soma de termos, emque cada umdos termos o produto de variveis lgicas
individuais que aparecemcomplementadas (negadas) ou no.

Exemplo2: Dada a funo lgica de 5 variveis : F(a,b,c,d,e) =(a +(bc)').(d +be)'
Expressar a funo como uma soma de produtos :
F =(a +(bc)').(d +be)'








Estes exemplos indicam como uma expresso lgica arbitrria pode ser escrita como uma soma
de produtos. Se somente variveis individuais aparecem complementadas, necessita-se usar
apenas as leis distributivas. Se um sinal de complemento aparecer sobre uma combinao de
variveis, usa-se o teorema De Morgan tantas vezes quantas necessrias, at que o sinal de
complemento aparea apenas sobre variveis individuais.
Nas expresses anteriores, os termos individuais no envolvem o mesmo nmero de variveis e
nenhumtermo envolve todas as variveis.
Lgica para Computao 2011



Material de Apoio 22

"Padro" significa que cada uma das variveis aparece em cada umdos termos produto. Cada
umdestes produtos chamado MINTERMO.

Exemplo3: Reescrever a funo de soma de produtos, de modo que se torne uma
funo de mintermos : F (a,b,c) =a +bc
F =a +bc







2. Produto Padro de Somas (Maxtermos)

Exemplo1: Dada a funo lgica abaixo, express-la como umproduto de somas :
F (a,b,c,d) =(a' +bc).(b +c'd)

F =(a' +bc).(b +c'd) ------->distributividade
(a' +bc) =(a' +b).(a' +c)
(b +c'd) =(b +c').(b +d)
F =(a' +b).(a' +c).(b +c').(b +d)

"F" expressa na forma de um produto de termos, cada termo sendo a soma de variveis lgicas
individuais, podendo uma varivel aparecer na forma complementada (negada) ou no.

Exemplo2: Dada a funo lgica abaixo, express-la como umproduto de somas :
F (a,b,c,d,e) =(a +(bc)').(d +be)'
F =(a +(bc)').(d +be)'










Exemplo3: Reescrever a funo na forma padro de produto de somas, de modo que se torne
uma funo de maxtermos : F (a,b,c) =a.(b' +c)
F = a.(b' +c)









"F" representa a funo na forma padro de produto de somas, em que cada varivel
(complementada ou no) aparece emcada termo. Cada umdos termos do produto de somas
denominado MAXTERMO.

Lgica para Computao 2011



Material de Apoio 23



Especificao de Funes em termos de Mintermos e Maxtermos

(a) Mintermo:
Substitui-se as variveis complementadas por 0 e as no-complementadas por 1. O
nmero binrio resultante, convertido para decimal, corresponde ao nmero do mintermo.
Exemplo:
F =a'bc +ab'c' +ab'c +abc' +abc
F (a,b,c) =E (3,4,5,6,7)

(b) Maxtermo:
Substitui-se as variveis complementadas por 1 e as no-complementadas por 0. O
nmero binrio resultante, convertido para decimal, corresponde ao nmero do maxtermo.

Exemplo:
F =(a+b+c).(a+b+c').(a+b'+c).(a+b'+c').(a'+b'+c)
F (a,b,c) =H (0,1,2,3,6)

Relao entre Mintermos, Maxtermos e Tabela-verdade

Uma funo pode ser expressa como uma soma de mintermos cujos nmeros correspondem aos
nmeros das linhas da tabela-verdade onde a funo tem valor 1. Pode, tambm, ser expressa
por umproduto de maxtermos cujos nmeros correspondem s linhas da tabela-verdade onde a
funo temvalor 0.
Exemplo:













Lgica para Computao 2011



Material de Apoio 24


XIII - MAPAS DE KARNAUGH

Os mapas de Karnaugh so figuras geomtricas que criamuma regio para cada linha de uma
tabela-verdade (mintermo). So usados para a simplificao de funes lgicas na forma de
mintermos ou emtabela-verdade.

1. Regras para a Montagem do Mapa

separar as variveis independentes em 2 conjuntos de tamanho aproximado (umconjunto
corresponde s linhas e o outro s colunas);
colocar os valores das variveis lgicas nas linhas e colunas do mapa, de forma que haja
apenas umdgito de variao entre valores contguos;
preencher o mapa colocando o valor "1" nos quadrados correspondentes aos
mintermos/linhas da tabela-verdade da funo;
o nmero de quadrados do mapa igual a 2
n
, sendo n =nmero de variveis independentes.

(a) Uma varivel
a a 0 1
0
1

nmero de quadrados=2
1
=2

(b) Duas variveis






nmero de quadrados=2
2
=4

(c) Trs variveis










nmero de quadrados=2
3
=8









0 1
00 10
01 11

b
0
1
a b
0 0
0 1
1 0
1 1

a
0 1
a b c
0 0 0
0 0 1
0 1 0
0 1 1
1 0 0
1 0 1
1 1 0
1 1 1

ab
c
00 01 11 10
0
1



Esta regio corresponde
linha 4 da tabela-verdade
Lgica para Computao 2011



Material de Apoio 25




(d) Quatro variveis

















variveis =a, b, c, d nmero de quadrados=2
4
=16

2. Simplificao de Funes Lgicas com o Mapa
descobrir os maiores conjuntos de 1's (uns) possveis, de forma retangular, de tamanho igual
a uma potncia de 2 (1,2,4,8, ... ) para cada valor "1" do mapa;
para cada conjunto ser criado umtermo onde os componentes so as variveis que no
tiveremseu valor alterado para todos os elementos do conjunto.
Exemplo: F =ab'c'd' +abc'd'
a b c d
0 0 0 0
0 0 0 1
0 0 1 0
0 0 1 1
0 1 0 0
0 1 0 1
0 1 1 0
0 1 1 1
1 0 0 0
1 0 0 1
1 0 1 0
1 0 1 1
1 1 0 0
1 1 0 1
1 1 1 0
1 1 1 1

ab
cd
00 01 11 10
00
01
11
10





Cada quadrado corresponde
a uma linha na tabela