Aula 9: FND

            Na lógica booleana, pode-se considerar em forma normal conjuntiva, se há conjunção de clausulas, onde é uma disjunção de literais.

            Forma normal disjuntiva, ou FND, é bastante utilizada para provas automáticas de teoremas.

            Para ser considerada uma FND, há algumas condições que deverão ser observadas:

·         Contém ~, ^ e v

·         ~ não aparece repetido (~~)

·         ~ não tem alcance em ^ e v

·         ^ não tem alcance sobre v

Alguns exemplos de Forma Normal Disjuntiva.

a) (r ↑ s)

(r ↑ s) ó ~r v ~s

b) (q ↑ q)

(q ↑ q) ó ~q v ~q

c) (p ↓ q)

(p ↓ q) ó ~p ^ ~q

d) (r ↓ s)

(r ↓ s) ó ~r ^ ~s

e) (q ↑ q)

(q ↑ q) ó ~q v ~q