Die aufgabe ist, dass ich ((a ∧ b) ∨ ¬c) → ((c ∧ b) ∨ ¬a) ins KNF umwandlen muss mit die Algebraische Transformationen transformationen,
meine lösung bisher ist:
((a ∧ b) ∨ ¬c) → ((c ∧ b) ∨ ¬a) ⇔
¬((a ∧ b) ∨ ¬c) ∨ ((c ∧ b) ∨ ¬a) ⇔
(¬a ∨ ¬(b ∨ ¬c)) ∨ ((c ∧ b) ∨ ¬a) ⇔
(¬a ∨ (¬b ∧ c)) ∨ ((c ∧ b) ∨ ¬a) ⇔
(¬a ∨ (¬b ∧ c)) ∨ ((c ∨ ¬a) ∧ (b ∨ ¬a)) ⇔
((¬a ∨ ¬b) ∧ (¬a ∨ c)) ∨ ((¬a ∨ c) ∧ (b ∨ ¬a))
ich bin mir aber nicht sicher wie ich weiter machen kann, könnte jemanden mir helfen?
Punkte: 10