((a ∧ b) ∨ ¬c) → ((c ∧ b) ∨ ¬a) ins knf umwandeln

Aufrufe: 268     Aktiv: 29.01.2023 um 13:45
0
Meine Lösung um ((a ∧ b) ∨ ¬c) → ((c ∧ b) ∨ ¬a) ins knf umwandeln war:

((a ∧ b) ∨ ¬c) → ((c ∧ b) ∨ ¬a) =

¬((a ∧ b) ∨ ¬c) ∨ ((c ∧ b) ∨ ¬a) = 

(¬a ∨ (¬b ∧ c)) ∨ ((c ∧ b) ∨ ¬a) =

(¬a ∨ ¬b) ∧ (¬a ∨ c)  ∧ (b ∨ ¬a)

ist es so richtig? Wenn nicht dann wie könnte die Lösung ausziehen?

EDIT vom 28.01.2023 um 23:23:

Meine Lösung um ((a ∧ b) ∨ ¬c) → ((c ∧ b) ∨ ¬a) ins knf umwandeln war:

((a ∧ b) ∨ ¬c) → ((c ∧ b) ∨ ¬a) ⇔
¬((a ∧ b) ∨ ¬c) ∨ ((c ∧ b) ∨ ¬a) ⇔
(¬a ∨ (¬b ∧ c)) ∨ ((c ∧ b) ∨ ¬a) ⇔
(¬a ∨ ¬b) ∧ (¬a ∨ c)  ∧ (b ∨ ¬a)
Diese Frage melden
gefragt

Punkte: 12

 
Kommentar schreiben
1 Antwort
0
Stimmt nicht. Was hast du denn von Zeile 2 zu 3 gemacht?
Diese Antwort melden
geantwortet

Selbstständig, Punkte: 30.55K

 
Du hast recht es war falsch ich denke dass diese lösung soweit richtig ist aber ich bin mir nicht sicher wie ich weiter machen soll

((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))
   ─   user6ab395 29.01.2023 um 13:45

Kommentar schreiben