Die korrekte Klammerung ist \(((\lnot A) \ \land C)\ \lor ((\lnot B) \ \land C)\).

Wir verwenden zur Klammerung folgenden Merksatz:

Wir setzen in der Aussage \(\neg A\land C\lor\lnot B\land C\) also zunächst die Klammern bei den Negationen. Dabei bezieht sich die Negation nur auf den direkt folgenden Ausdruck, also nur bis zum nächsten Junktor. Wir erhalten so:

Als Nächstes setzen wir nun die Klammern um die Und-Ausdrücke. Dies führt zu:

Die Oder-Ausdrücke werden automatisch zuletzt ausgewertet, sodass wir keine weiteren Klammern setzen müssen und beim Ergebnis angelangt sind.