Hier mal meine Lösung zur A1. Allerdings ist mir noch unklar wie man die Formeln der Herbrand-Expansion substituieren soll. Sie enthalten doch keinerlei Variablen mehr und Konstanten darf man nicht substituieren?! Deswegen habe ich bei der Substitution wieder die Klauselmenge genommen... Gruß, Corni