Die wird im Buch behandelt, weil sie so schön ist! Aber nein, in der Klausur wird sie nicht abgefragt.
Wenn Sie die KNF verstanden haben, ist allerdings die CNF plötzlich einfach nur noch trivial
(Gilt natürlich noch mehr, wenn Sie den Exkurs zur Greibachnormalform verstanden haben! Da geht es schon ziemlich ans Eingemachte - obwohl ich hoffe, dass wir das gut erklärt haben. Die GNF ist aber auch nicht klausurrelevant - also höchstens einfache Fragen wie in früheren Klausuren.)