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

Forma Normal Conjuntiva (FNC) Forma Normal Disjuntiva (FND)
  • Mantêm-se a característica de uma FN, devendo conter, quando muito, os conectivos ~, ∧ e ∨.
  • A proposição não possui dupla negação do tipo ~~.
  • Se tiver negação, a negação não pode ter alcance ∧ e ∨, tal como ~(p∨q).
  • A negação pode incidir somente sobre a letra proposicional.
  • O conectivo ∨ não pode possuir alcance sobre a ∧, tal como p∨(~q∧~p).
  • Mantêm-se a característica de uma FN, devendo conter, quando muito, os conectivos ~, ∧ e ∨.
  • A proposição não possui dupla negação do tipo ~~.
  • Se tiver negação, a negação não pode ter alcance ∧ e ∨, tal como ~(p∨q).
  • A negação pode incidir somente sobre a letra proposicional.
  • O conectivo ∧ não pode possuir alcance sobre a ∨, tal como p∧(~q∨~p).
Copyright © 2016 AIEC.