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 normaldisjuntiva para a fórmula F = (p → q) ∧(q → r) é G = X₁ ∨ X₂ ∨ X₃ ∨ X₄, onde, dentre as fórmulas X₁, X₂, X₃ e X₄, não figura