Hallo,

wenn du die beiden Klammern aus der ersten Zeile nimmst und dazu die aus der nächsten Zeile betrachtest, sind das alle möglichen Kombinationen von \( X_0,X_1 \) und \( X_2 \) und ihren Komplementen (unter der Voraussetzung, dass keine Aussage und ihr Komplement zusammen vorkommen).
Wenn jetzt aber gerade die ersten beiden Klammern negiert werden, also nicht eintretten sollen, bleiben ja gerade die restlichen Klammern übrig.

Dadurch werden wir die Negation los und haben nur noch \( \lor \) und \( \land \) als Operator. Eine Gleichung in der Form \( \bigvee_i \bigwedge_j (\neg) x_{ij}  \) nennt man Disjunktive Normalform (DNF).

Grüße Christian