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!
¬B ∧ C ∧ (¬C ∨ A ∨ B)
(¬B ∧ C ∧ ¬C) ∨ (¬B ∧ C ∧ A) ∨ (¬B ∧ C ∧ B)
(FALSCH) ∨ (¬B ∧ C ∧ A) ∨ (FALSCH)
¬B ∧ C ∧ A
