Title: Optimierung von logischen Formeln in Hinblick auf Herleitungsfragen