Bereinigung in der Prädikatenlogik

Wenn man eine Bereinigung Vornehmen möchte, muss man beachten, dass erstmal alle Implikationen und Äquivalenzen in der Formel umgeformt werden müssen. Es darf nur ODER und UND in der Formel stehen.

Ist dies der Fall, kann man die Bereinigung vornehmen. Dazu wird nach der gebundenen Umbennenung vorgegangen.