Überlege Dir, auf welche verschiedenen Arten Du die KNF schreiben könntest, so dass immer noch eine KNF dasteht. Durch welche Operationen (Umstellungen) geht eine Art aus der anderen hervor? Eindeutigkeit erhältst Du dann in dem Sinne, dass Du diese Operationen als unwesentlich betrachtest. Man sagt dann: Die Formel ist eindeutig bis auf <Operationen>.
Lehrer/Professor, Punkte: 4K