Das Modifikationsproblem Der Aussagenlogik : und dessen Auswirkungen auf das Erfüllbarkeitsproblem

Diese Arbeit beschftigt sich mit dem Erfllbarkeitsproblem der Aussagenlogik, also der Frage, ob es zu einem gegebenen booleschen Ausdruck in konjunktiver Normalform eine erfllende Belegung gibt. In den ersten Kapiteln wird dieses Problem zunchst formal definiert und seine Wichtigkeit fr die Informatik dargestellt, danach werden einige der bekannteren Lsungsverfahren hierfr beschrieben. Im Anschluss daran werden die Modifikation als eine neue syntaktische Operation, die Erfllbarkeitsform als eine neue Normalform fr boolesche Ausdrcke und das Modifikationsproblem selbst eingefhrt. Zuletzt wird der Frage nach Lsungen fr letzteres Problem und Auswirkungen auf bestehende Verfahren fr das Erfllbarkeitsproblem nachgegangen.