Formas normais

SUMÁRIO

SUMÁRIO ............................................................................................................. 1
1. FORMAS NORMAIS ........................................................................................ 2
2. FORMA NORMAL CONJUNTIVA .................................................................. 3
3. TRANSFORMAÇÃO EM FORMA NORMAL CONJUNTIVA EM ÁTOMOS NOVOS .................................................................................................................................. 4
4. FORMA NORMAL DISJUNTIVA ..................................................................... 5
5. TRANSFORMAÇÃO EM FORMA NORMAL DISJUNTIVA EM ÁTOMOS NOVOS .................................................................................................................................. 9
6. REFERENCIAS BIBLIOGRÁFICAS ............................................................... 10

1 FORMAS NORMAIS

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. Sendo duas as principais formas normais: FNC – forma normal conjuntiva e a FND– forma normal disjuntiva.

Exemplos:

1º Exemplo: H = (¬P Λ Q) V (¬R Λ ¬Q Λ P) V (P Λ S) – forma normal disjuntiva (V)

2º Exemplo: G = (¬P V Q)Λ (¬R V ¬Q V P)Λ (P V S) – forma normal conjuntiva (Λ)

2 FORMA NORMAL CONJUNTIVA

A Forma normal conjuntiva é empregada no método de inferência chamado de resolução, que serve a programação lógica.

O elemento básico da forma normal conjuntiva é o literal que é uma fórmula atômica (por exemplo: p, chamado de positivo) ou sua negação (como exemplo: ¬p, chamado de negativo).

Exemplos:

1º Exemplo: (¬p V Y) Λ (¬p V Z) Λ (¬Y V ¬Z V p)

Onde n é o tamanho da cláusula, se n = 1, a cláusula é dita unitária, se n = 0, é dita vazia, neste caso, convenciona-se que uma cláusula vazia é dita falsa .

Uma cláusula: ¬q1 V ... V