Transformoje deklaratën logjike në formën konjunktive normale (CNF).
(A <unk> B) <unk> (A <unk> C)
(A <unk> B) <unk> (¬A <unk> C) Ekvivalent në formën normale konjunktive (CNF): (A <unk> B) <unk> (¬A <unk> C) <unk> (A <unk> ¬A)