Módulo 01 - Ordenamentos, o Direito e a Moral.

3 - A Simplificação e a Forma Normal das proposições

Uma proposição está em sua Forma Normal (FN) quando, e somente quando, contém no máximo os conectivos ~, ∧ e ∨.

Estão na FN as seguintes proposições, por exemplo:

~p ∧ q

~(p ∨ q)

(p ∨ ~q) ∧ (r ∨ ~p)

Existem dois tipos de FN:

• FND – Forma Normal Disjuntiva (ou Disjunta), e
• FNC – Forma Normal Conjuntiva (ou Conjunta).

Veja mais detalhes a seguir.