Hi, in der Mathe Vorlesung meines Informatik Studiums geht es gerade um Aussagenlogik. Dabei bin ich etwas über den Begriff der Belegung, spezielle "passende" und "minimale" Belegung, gestolpert.
Also ich habe verstanden, dass die Belegung eine Funktion ist, die den Variablen einer aussagenlogischen Formel Werte (0,1) zuweist.
Kann mir jemand erklären was dann mit passender und minimaler Belegung gemeint ist?
Vielen Dank im Voraus