Aufgabe:nutzen sie algebraische Transformationen um ((a ∧ b) ∨ ¬c) → ((c ∧ b) ∨ ¬a) als KNF darzustellen.
meine lösung bisher war:
((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)) ⇔
Aber ich weiß es nicht, wie ich weitermachen kann. Habe ich was falsch gemacht?
