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 syntaktische Operation, die Erf llbarkeitsform als eine neue Normalform f r boolesche Ausdr cke und das Modifikationsproblem selbst eingef hrt. Zuletzt wird der Frage nach L sungen f r letzteres Problem und Auswirkungen auf bestehende Verfahren f r das Erf llbarkeitsproblem nachgegangen.