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 x2 ∨ x5) rausziehen, oder? Dann steht da (¬ x2 ∨ x5) ∧ (¬ x3 ∨ x4).