Escolar Documentos
Profissional Documentos
Cultura Documentos
BSI
Alunos:
Emerson Shigueo Sugimoto
Rodrigo Cirino Andrade
Vagner Vengue
FORMA NORMAL
Uma fórmula normal são as fórmulas da lógica proposicional apresentadas num
formato definido, ou seja, são fórmulas que são moldadas para serem exibidas em um
formato definido.
2 principais: FNC – forma normal conjuntiva e a FND – forma normal disjuntiva,
exemplos:
¬ (X V Y) ¬X Λ ¬Y
X ¬X Y ¬Y XVY ¬ (X V Y) ¬X Λ ¬Y
0 1 0 1 0 1 1
0 1 1 0 1 0 0
1 0 0 1 1 0 0
1 0 1 0 1 0 0
¬ (X Λ Y) ¬X V ¬Y
X ¬X Y ¬Y XΛY ¬ (X Λ Y) ¬X V ¬Y
0 1 0 1 0 1 1
0 1 1 0 0 1 1
1 0 0 1 0 1 1
1 0 1 0 1 0 0
TABELAS VERDADE - LEIS
¬¬ X X
X ¬X ¬¬X
0 1 0
1 0 1
X V (Y Λ Z) (X V Y) Λ (X V Z)
X Y Z Y Λ Z X V (Y Λ Z) X V Y X V Z (X V Y) Λ (X V Z)
0 0 0 0 0 0 0 0
0 0 1 0 0 0 1 0
0 1 0 0 0 1 0 0
0 1 1 1 1 1 1 1
1 0 0 0 1 1 1 1
1 0 1 0 1 1 1 1
1 1 0 0 1 1 1 1
1 1 1 1 1 1 1 1
TRANSFORMAÇÃO LINEAR PARA FNC
COM ADIÇÃO DE NOVOS ÁTOMOS
1. Redefinir “→” em termos de “V” e “¬”:
(X → Y) (¬X V Y)
2. Empurrar as negações para o interior por meio de:
¬ (X V Y) ¬ X Λ ¬Y
¬ (X Λ Y) ¬X V ¬Y
3. Eliminação da dupla negação:
¬¬ X X
4. Inserção de novo átomo p:
X V (Y Λ Z) (X V p) Λ (¬p V Y) Λ (¬p V Z) Λ (¬Y V ¬Z V p)
2
3
VANTAGEM FNC
Representação e solução de problemas envolvendo fórmulas proposicionais, pois para se satisfazer uma
fórmula do formato clausal, basta satisfazer um literal em cada uma das suas cláusulas, e para falsificar uma
fórmula no formato clausal, basta falsificar todos os literais de uma única cláusula, ou seja, falsificar uma
cláusula.
Por exemplo, para satisfazer a fórmula (¬p V Y) Λ (¬p V Z):
VALORAÇÃO DE (¬P V Y) Λ (¬P V Z)
p ¬p Y Z (¬p V Y) Λ (¬p V Z)
0 1 1
1 0 1 1 1
E para falsificá-la:
VALORAÇÃO DE (¬P V Y) Λ (¬P V Z)
p ¬p Y Z (¬p V Y) Λ (¬p V Z)
0 1 0 0
0 1 0 0
1 0 0
CONVERSÃO COM TABELAS VERDADE
Considere a fórmula: H = (P → Q) Λ R, sua tabela verdade é:
As linhas que interpretam (I) a fórmula (P → Q) Λ R como Falsa são as linhas 2,3,4,6 e 8.
De acordo com a linha 2, {I[P]=T e I[Q]=T e I[R]=F}, na elaboração da FNC I[P] = T, considera-se ¬P e I[R] = F, considera-se R (I =
interpretação). Assim:
2ª linha: ¬P V ¬Q V R
3ª linha: ¬P V Q V ¬R
4ª linha: ¬P V Q V R
6ª linha: P V ¬Q V R
8ª linha: P V Q V R
A FNC de (P → Q) Λ R é:
(¬P V ¬Q V R) Λ (¬P V Q V ¬R) Λ (¬P V Q V R) Λ (P V ¬Q V R) Λ (P V Q V R)
CLÁUSULAS DE HORN
As Cláusulas de Horn são cláusulas (conjunto de literais) na forma disjuntiva
com no máximo um literal positivo.
Exemplo:
¬ p V ¬ q V. . . V r
Tipos de cláusulas:
1. Fatos
2. Regras
3. Consultas ou Restrições
FATOS
Fatos são cláusulas com apenas um literal positivo e são usadas para afirmar
que um literal é válido.
Exemplos:
{ p },
{ q },
{r}
REGRAS
Regras são cláusulas com exatamente um literal positivo.
Exemplos:
¬ p V ¬ qV r
¬ rV s
¬AV b
CONSULTAS OU RESTRIÇÕES
Consultas ou Restrições são cláusulas com apenas literais negativos.
Exemplos:
¬ pV ¬ qV ¬ r
¬ rV ¬ s
¬ (p Λ q Λ r)
FÓRMULAS DE HORN
Fórmulas de Horn são um conjunto de cláusulas de Horn na forma normal
conjuntiva.
Exemplos:
(¬ p V q) Λ (r V ¬ s) Λ (a V ¬a) Λ (a V ¬b)
(¬ r V B) Λ (A V ¬ g)
(p) Λ (¬ r V s)
CLÁUSULAS DE HORN E RESOLUÇÃO
Conjuntiva:
(X V Y) Λ (X V Z)
Disjuntiva:
(X Λ Y) V (X Λ Z)
CLÁUSULAS DE HORN
{P V ¬q}, {¬ r V s}, {¬ Y V ¬ X V z}
REFERÊNCIAS BIBLIOGRÁFICAS
DIAS, Carlos Magno Corrêa. Lógica Matemática: Introdução ao Cálculo Proposicional. Curitiba, C. M. Corrêa Dias, 1999.
SOUZA, João Nunes de. Lógica para ciência da Computação: Fundamentos de linguagem, semântica e sistemas de dedução.
Rio de Janeiro: Campus, 2002.
SILVA, Flávio Soares Corrêa da; FINGER, Marcelo; MELO, Ana Cristina Vieira de. Lógica para computação. São Paulo: Editora
Thompson, 2006. 234 p. ISBN 85-221-0517-0
Augustus Morgan matemático e lógico britânico. Disponível em: <http://www.colegiosaofrancisco.com.br/alfa/augustus-de-
morgan/augustus-de-morgan.php> Acesso em 12.abr.2009.
Formas normais: Disponível em: <http://polo1.marilia.unesp.br/Home/Instituicao/Docentes/RicardoTassinari/LI08.pdf>
Acesso em 12.abr.2009.
WIKIPÉDIA. Enciclopédia multilíngüe on-line livre. Teoremas De Morgan. Disponível em:
<http://pt.wikipedia.org/wiki/Leis_De_Morgan> Acesso em 28.mar.2009.
WIKIPÉDIA. Enciclopédia multilíngüe on-line livre. Teoremas De Morgan.
Disponível em: <http://pt.wikipedia.org/wiki/Cl%C3%A1usula_de_Horn> Acesso em 04.abr.2009.
WIKIPÉDIA. Enciclopédia multilíngüe on-line livre. Teoremas De Morgan.
Disponível em: <http://pt.wikipedia.org/wiki/Cl%C3%A1usula_de_Horn> Acesso em 04.abr.2009.
WIKIPÉDIA. Enciclopédia multilíngüe on-line livre. Distributividade. Disponível em:
<http://pt.wikipedia.org/wiki/Distributividade> Acesso em 12.abr.2009.
WIKIPÉDIA. Enciclopédia multilíngüe on-line livre. lei da dupla negação. Disponível em:
<http://pt.wikipedia.org/wiki/Dupla_nega%C3%A7%C3%A3o> Acesso em 12.abr.2009.
WIKIPÉDIA. Enciclopédia multilíngüe on-line livre. Formal normal disjuntiva. Disponível em:
<http://pt.wikipedia.org/wiki/Forma_normal_disjuntiva> Acesso em 12.abr.2009.