Das Modifikationsproblem der Aussagenlogik
Diese Arbeit beschäftigt sich mit dem Erfüllbarkeitsproblem der Aussagenlogik, also der Frage, ob es zu einem gegebenen booleschen Ausdruck in konjunktiver Normalform eine erfüllende Belegung gibt. In den ersten Kapiteln wird dieses Problem zunächst formal definiert und seine Wichtigkeit für die Informatik dargestellt, danach werden einige der bekannteren Lösungsverfahren hierfür beschrieben. Im Anschluss daran werden die Modifikation als eine neue ...