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:

Existem dois tipos de FN:

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

Veja mais detalhes a seguir.