Dadas as proposições atômicas P, Q e R do cálculo proposicional, afirma-se que
¬ (P ∨ Q) ∧ R está na forma normal conjuntiva, e P ∧ R, na forma normal disjuntiva.
(P ∨ ¬ Q) ∧ R está na forma normal conjuntiva, e (P ∧ Q) ∨ ¬ R, na forma normal disjuntiva.
(P ∨ Q) ∧ R está na forma normal conjuntiva, e ¬ (P ∧ Q) ∨ R, na forma normal disjuntiva.
(P ∨ Q) está na forma normal conjuntiva, e ¬ (P ∧ Q) ∨ R, na forma normal disjuntiva.
(P ∧ Q) está na forma normal conjuntiva, e ¬ (P ∨ Q), na forma normal disjuntiva.