Konjunktive Normalform Frage

Question

Guten Abend.

Ich soll in die KNF umformen.

Das habe ich auch weitestgehend ganz gut hinbekommen, bis:

(¬B∧C)∧(¬C∨A∨B)

Wie komme ich nun von da zum "Endergebnis"?
¬B ∧ C ∧ A

Vielen Dank im Voraus!

Answer 1

¬B ∧ C ∧ (¬C ∨ A ∨ B)

(¬B ∧ C ∧ ¬C) ∨ (¬B ∧ C ∧ A) ∨ (¬B ∧ C ∧ B)

(FALSCH) ∨ (¬B ∧ C ∧ A) ∨ (FALSCH)

¬B ∧ C ∧ A