Wie kann ich daraus eine KNF machen?

Question

Aufgabe:

Text erkannt:

\( \left(\left(\left(\neg x_{2} \vee x_{5}\right) \wedge \neg x_{3}\right) \vee\left(\left(\neg x_{2} \vee x_{5}\right) \wedge x_{4}\right)\right) \)

Problem/Ansatz:

Wie kann ich daraus eine KNF machen? Man kann doch (nicht x₂ ∨ x₅) rausziehen, oder? Dann steht da (¬ x₂ ∨ x₅) ∧ (¬ x₃ ∨ x₄).

Answer 1

Man kann doch (nicht x2 oder x5) rausziehen oder? dann steht da (nicht x2 oder x5) und (nicht x3 oder x4)

Ja.