Aussagenlogik konjunktive Normalform?

Erste Frage Aufrufe: 436     Aktiv: 13.11.2020 um 10:15

0

Hey ihr, ich habe meine ersten Aufgaben an der Uni erhalten und verstehe Aufgabe b nicht. Kann mir da jemand weiterhelfen?

Diese Frage melden
gefragt

Punkte: 10

 
Kommentar schreiben
1 Antwort
0

Ü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>.

Diese Antwort melden
geantwortet

Lehrer/Professor, Punkte: 4K

 

Kommentar schreiben