Hallo!
Ich habe eine Frage zu Übungsblatt 6 der Logikübungen. Im Lösungshinweis soll nach der Ordnung in Schritt 2

rausfliegen. Resolventen sind hierbei

und

. Das

nicht rausfliegt, liegt das nur an der Ordnung oder können nicht zwei versch. Variablen in einem Schritt eliminiert werden?
lg Doro