Resolutionsregel – Teil 4
Zurück zur Ausgangsfrage, ist die Anwendung der Resolutionsregel eine Äquivalenzumformung?
Navigation
Noch keine Kommentare eingereicht. Bitte hilf uns diese Aufgabe zu verbessern.