Uma proposição está na sua FNC (Forma Normal Conjuntiva) quando as seguintes características são cumpridas:

• Mantêm-se a característica de uma FN. Ou seja, a proposição deve conter, quando muito, os conectivos ~, ∧ e ∨.

• Se a proposição não possui dupla negação, tal como ~~.

• Se tiver negação, a negação não pode ter alcance ∧ e ∨, tal como ~(p∨q). Ou seja, a negação incide somente sobre a letra proposicional.

• Se o conectivo ∨ não possui alcance sobre a ∧, tal como p∨(~q∧~p), pois neste caso a operação de disjunção é a mais forte.

Uma proposição está na sua FND (Forma Normal Disjuntiva) quando as seguintes características são cumpridas:

• Mantêm-se a característica de uma FN. Ou seja, a proposição deve conter, quando muito, os conectivos ~, ∧ e ∨.

• Se a proposição não possui dupla negação, tal como ~~.

• Se tiver negação, a negação não pode ter alcance ∧ e ∨, tal como ~(p∨q). Ou seja, a negação incide somente sobre a letra proposicional.

• Se o conectivo ∧ não possui alcance sobre a ∨, tal como p ∧(~q∨~p), pois neste caso a operação de conjunção é a mais forte.