Wandle in konjunktive Normalform (KNF) um:
(A ∧ B) ∨ (B ∧ C) ∨ (A ∧ C)
Die Leitfäden, die erklären, was diese Übung anwendet.