Bei der KNF hast du ja etwas in der Art

(A v B) ^ (A v C)

das Distributivgesetz wendest du jetzt wie in der Mathematik an. 
Vielleicht erinnerst du dich daran, dass man früher gerne mit bunten Bögen gezeigt hat was mit wem verrechnet wird?

- "Erster Summand der ersten Klammer mit erstem Summanden der zweiten Klammer

- Rechenzeichen von zwischen den Klammern

- das ganze in Klammern setzen

- dann das Rechenzeichen das innerhalb der ursprünglichen Klammern steht

- und immer so weiter (erster Summand der ersten Klammet mit zweitem der zweiten Klammer, danach zweiter S aus Klammer eins mit erstem aus Klammer zwei, dann zweiter Summand mit zweitem Summand)

In Textform wirkt das vielleicht viel/ kompliziert. Willst deines trotzdem so versuchen? Oder hättest du gern ein Beispiel?