Title: Vereinfachung logischer Formeln in einem Vorbeweiser