Aula 8: FNC

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 conjuntiva, ou FNC, é bastante utilizada para demonstração de teoremas, usada na teoria dos circuitos.

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

·         Contém ~, ^ e v

·         ~ não aparece repetido (~~)

·         ~ não tem alcance em ^ e v

·         v não tem alcance sobre ^

Exercícios:

a) (p → q)

    (p → q) ó ~p v q

b) (r → s)

    (r → s) ó ~r v s

c) (p → ~p)

    (p → ~p) ó ~p v ~p ó ~p

d) (r → ~r)

    (r → ~r) ó ~r v ~r ó ~r

e) (r ↑ s)

    (r ↑ s) ó ~r v ~s