Dizemos que a fórmula G é uma forma normal disjuntiva da fórmula F, quando F e G são logicamente equivalentes e, além disso, G é uma disjunção de fórmulas, as quais são conjunções, cujos termos são todas as proposições atômicas, com eventuais negações, que aparecem em F. Nessas condições, sendo p, q e r proposições atômicas, uma forma normal disjuntiva para a fórmula !$ F = (p \rightarrow q) \land (q \rightarrow r) !$ é G = X₁ !$ \lor !$ X₂ !$ \lor !$ X₃ !$ \lor !$ X₄, onde, dentre as fórmulas X₁, X₂, X₃ e X₄, não figura