Escolar Documentos
Profissional Documentos
Cultura Documentos
Definição 2 - Uma fórmula F é dita estar na Forma Normal Conjuntiva se e só se F tem a forma
F=F1^F2^...^Fn, n>=1, onde cada F1,...,Fn é uma disjunção de literais.
Exemplos
Definição A fórmula F é dita estar na Forma Normal Disjuntiva se e só se F tem a forma F=F1v..vFn, n>=1,
onde cada F1,...,Fn é uma conjunção de literais.
Passo 1
Use as leis
Passo 2
Use as leis
~(~F) =F
e as leis de De Morgan
~(F ^ G)= ~F v ~G
~(F v G)=~F ^~G
Passo 3
F v (G^H)= (FvG)^(FvH)
F ^(GvH)=(F^G)v(F^H)
Exemplo
Exercício de Classe
a) P v (~P ^Q ^R)
b) (P -> Q) -> R
Definição 2: Uma cláusula vazia (representada por um quadrado) é aquela que não tem literais.
C1: P
C2: ~ PvQ
Ou seja: Para qualquer duas cláusulas C1 e C2, se há um literal L1 em C1 que é complementar a um literal
L2 em C2, então delete L1 e L2 de C1 e C2, respectivamente, e contrua a disjunção das cláusulas
remanescentes. A cláusula remanescente é um resolvente de C1 e C2.
Exemplo 1: Calcular o resolvente de C1: PvR e C2: ~PvQ. Nesse caso poderíamos delatar P nas duas
cáusulas e gerar RvQ.
Exemplo 2:
C1: ~PvQvR
C2: ~QvS
o resolvente de C1 e C2 é ~PvRvS
Exemplo 3 :
C1:~PvQ
C2: ~PvR
Definição - Dado um conjunto S de cláusulas, uma dedução (resolução) C de S é uma sequência finita C1,
C2,....Ck de cláusulas tal que cada Ci ou é uma cláusula, em S, ou é um resolvente das cláusulas
precedentes Ci, e Ck=C. Uma dedução de vazio de S é chamada de uma refutação , ou uma prova de S.
Exemplo 1:
1. ~P v Q
2. ~Q
3. P
4. ~P (de 1 e 2)
5. Vazia (de 3 e 4)
Exemplo 2:
1. PvQ
2. ~PvQ
3. Pv~Q
4. ~Pv~Q
5. Q ( de 1 e 2)
6. ~Q (de 3 e 4)
7. Vazia (de 5 e 6)
P-> Q
P
Deduza Q
~PvQ
P
Q
Cláusulas
1. ~PvQ
2. P
3. - Q (com a conclusão negada)
4. Q (de 1 e 2)
5. Vazia (de 3 e 4)